Instance testHanoiSAT

Name testHanoiSAT
Classes
Submitter Martin Gebser
Author Gayathri Namasivayam and Miroslaw Truszczynski and Giorgio Terracina
Description
Created 2009-04-09 15:22
Modified 2009-04-09 15:22
Languages
Language Features
Compatible Encodings
Output Predicates
  • disk/1
  • on0/2
  • ongoal/2
  • steps/1
  • time/1
  • ASP Contest 09 (Martin Gebser)
Attributes
Content