Encoding toh_decision-tuned.gringo

Name toh_decision-tuned.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description An improved Gringo encoding of the Towers-of-Hanoi problem (also tuned for competition instances).
Created 2009-06-04 21:02
Modified 2009-06-04 21:02
Language Features
Compatible Instance Classes
Input Predicates
  • disk/1
  • on0/2
  • ongoal/2
  • steps/1
  • time/1
Output Predicates
  • put/3
Encoding Parameter
    Standalone Help No
    • ASP Contest 09 (Martin Gebser)