Instance testUNSAT

Name testUNSAT
Classes
Submitter Martin Gebser
Author Mario Alviano
Description
Created 2009-04-08 15:21
Modified 2009-04-08 15:21
Languages
Language Features
Compatible Encodings
Output Predicates
  • checkForMaxControls/1
  • company/1
  • owns/3
  • ASP Contest 09 (Martin Gebser)
Attributes
Content