Encoding company-controls_optimization.gringo

Name company-controls_optimization.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description A Gringo encoding of the optimization version of Company Controls.
Created 2009-03-21 21:47
Modified 2009-05-10 18:21
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • company/1
  • controller/1
  • onSale/4
  • owns/3
  • toBeControlled/1
Output Predicates
  • buy/5
Encoding Parameter
    Standalone Help No
    • ASP Contest 09 (Martin Gebser)
    Attributes
    Content