Instance gen200_8000_30_30_10

Name gen200_8000_30_30_10
Classes
Submitter Martin Gebser
Author Johan Wittocx
Description
Created 2009-04-09 18:23
Modified 2009-04-09 18:23
Languages
Language Features
Compatible Encodings
Output Predicates
  • edge/2
  • node/1
  • ASP Contest 09 (Martin Gebser)
Attributes
Content