Encoding channel-routing_decision.gringo

Name channel-routing_decision.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description A Gringo encoding of Channel Routing.
Created 2009-03-13 20:32
Modified 2009-03-23 08:30
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • connect/3
  • layers/1
  • tracks/1
Output Predicates
  • pos/3
Encoding Parameter
    Standalone Help No
    • ASP Contest 09 (Martin Gebser)
    Attributes
    Content