Instance testUNSAT.lp

Name testUNSAT.lp
Classes
Submitter Martin Gebser
Author Mario Alviano and Marco Maratea and Francesco Ricca
Description
Created 2009-04-09 20:39
Modified 2009-04-09 20:39
Languages
Language Features
Compatible Encodings
Output Predicates
  • controlled_by/5
  • produced_by/5
  • query/2
  • ASP Contest 09 (Martin Gebser)
Attributes
Content