Encoding edge-matching_decision.gringo

Name edge-matching_decision.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description A Gringo encoding of the Edge Matching problem.
Created 2009-03-27 12:58
Modified 2009-12-03 15:53
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • col/1
  • rotation/1
  • row/1
  • tile/1
  • tileSide/3
Output Predicates
  • chosenRotation/3
  • chosenTile/3
  • col/1
  • rotation/1
  • row/1
  • tile/1
  • tileSide/3
Encoding Parameter
    Standalone Help No
    • ASP Contest 09 (Martin Gebser)
    Attributes
    Content