Instance clumpy-15x15_01.lp

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