Encoding wire-routing_decision.gringo

Name wire-routing_decision.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description A Gringo encoding of the Wire Routing problem. (Assumes two terminal grid points for each wire)
Created 2009-03-13 08:27
Modified 2009-05-25 14:56
Language Features
Compatible Instance Classes
Input Predicates
  • allow/2
  • block/2
  • pt/1
  • terminal/3
  • wire/1
Output Predicates
  • path/3
Encoding Parameter
    Standalone Help No
    • ASP Contest 09 (Martin Gebser)