Encoding knights-tour_decision.gringo

Name knights-tour_decision.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description A Gringo encoding of Knight's Tour.
Created 2009-03-13 17:57
Modified 2009-03-31 16:41
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • givenmove/4
  • size/1
Output Predicates
  • move/4
Encoding Parameter
    Standalone Help No
    • ASP Contest 09 (Martin Gebser)
    Attributes
    Content