Instance clumpy-12x12_11.lp

Name clumpy-12x12_11.lp
Classes
Submitter Martin Gebser
Author Martin Gebser and Jeffrey Ward
Description
Created 2009-08-19 17:14
Modified 2009-08-19 17:14
Languages
Language Features
Compatible Encodings
Output Predicates
  • edge/4
  • initialvtx/2
  • vtx/2
  • Solution Projection (Martin Gebser)
Attributes
Content