Instance 15-puzzle.init12

Name 15-puzzle.init12
Classes
Submitter Martin Gebser
Author Lengning Liu and Miroslaw Truszczynski
Description
Created 2009-03-30 13:03
Modified 2009-03-09 21:01
Languages
Language Features
Compatible Encodings
Output Predicates
  • entry/1
  • in0/3
  • maxtime/1
  • pos/1
  • time/1
  • ASP Contest 09 (Martin Gebser)
Attributes
Content