Instance solitaire-asymmetric-time=25

Name solitaire-asymmetric-time=25
Classes
Submitter Martin Gebser
Author Martin Brain
Description
Created 2009-03-27 12:58
Modified 2009-03-27 12:58
Languages
Language Features
Compatible Encodings
Output Predicates
  • empty/2
  • full/2
  • time/1
  • ASP Contest 09 (Martin Gebser)
Attributes
Content