Instance rand_80_340_1159656267_11.lp

Name rand_80_340_1159656267_11.lp
Classes
Submitter Martin Gebser
Author Lengning Liu and Miroslaw Truszczynski
Description
Created 2009-03-10 12:43
Modified 2009-03-10 12:43
Languages
Language Features
Compatible Encodings
Output Predicates
  • bound/1
  • edge/2
  • edgewt/3
  • maxweight/1
  • vtx/1
  • ASP Contest 09 (Martin Gebser)
Attributes
Content