Instance wire.12.x.12.b.5.a.20_unsat.data

Name wire.12.x.12.b.5.a.20_unsat.data
Classes
Submitter Martin Gebser
Author Gayathri Namasivayam and Miroslaw Truszczynski
Description
Created 2009-04-09 21:13
Modified 2009-04-09 21:13
Languages
Language Features
Compatible Encodings
Output Predicates
  • allow/2
  • block/2
  • pt/1
  • terminal/3
  • wire/1
  • ASP Contest 09 (Martin Gebser)
Attributes
Content