Encoding fastfood_optimization.gringo

Name fastfood_optimization.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description A Gringo encoding of the optimization version of the Fastfood problem.
Created 2009-03-21 20:31
Modified 2009-05-29 16:05
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • number_depots/1
  • restaurant/2
Output Predicates
  • depot/2
Encoding Parameter
    Standalone Help No
    • ASP Contest 09 (Martin Gebser)
    Attributes
    Content