Encoding maze-generation_decision.gringo

Name maze-generation_decision.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description A Gringo encoding of Maze Generation.
Created 2009-03-27 15:16
Modified 2009-05-07 16:15
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • col/1
  • empty/2
  • entrance/2
  • exit/2
  • row/1
  • wall/2
Output Predicates
  • col/1
  • empty/2
  • entrance/2
  • exit/2
  • row/1
  • wall/2
Encoding Parameter
    Standalone Help No
    • ASP Contest 09 (Martin Gebser)
    Attributes
    Content