Encoding labyrinth_path_optimization.gringo

Name labyrinth_path_optimization.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description A Gringo encoding of the Labyrinth problem permitting moves along paths. Pushes of grid rows and columns are subject to minimization.
Created 2009-03-09 16:44
Modified 2009-12-03 18:40
Language Features
Compatible Instance Classes
Input Predicates
  • connect/3
  • field/2
  • goal_on/2
  • init_on/2
  • max_steps/1
Output Predicates
  • push/3
Encoding Parameter
    Standalone Help No
    • ASP Contest 09 (Martin Gebser)