Instance Class Channel Routing

Class Tree
Description See http://asp.haiti.cs.uni-potsdam.de/encodingclass/show/id/80
Submitter Martin Gebser
Compatible Encodings
Output Predicates
  • connect/3
  • layers/1
  • tracks/1
Instances
1 - 11 of 11