Instance unsat_gbie_16.asp

Name unsat_gbie_16.asp
Classes
Submitter Martin Gebser
Author Marco Manna
Description
Created 2009-04-09 12:42
Modified 2009-04-09 12:42
Languages
Language Features
Compatible Encodings
Output Predicates
  • char/2
  • ASP Contest 09 (Martin Gebser)
Attributes
Content