Instance rand_150_600_1159731678_3.lp

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