Instance knightTour.in1

Name knightTour.in1
Classes
Submitter Martin Gebser
Author Neng-Fa Zhou
Description
Created 2009-04-09 19:27
Modified 2009-04-09 19:27
Languages
Language Features
Compatible Encodings
Output Predicates
  • givenmove/4
  • size/1
  • ASP Contest 09 (Martin Gebser)
Attributes
Content