Encoding golomb-ruler_optimization.gringo

Name golomb-ruler_optimization.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description A Gringo encoding of Golomb Ruler.
Created 2009-04-01 18:22
Modified 2009-06-05 13:48
Languages
Language Features
Compatible Instance Classes
Input Predicates
  • lengthNeeded/1
  • mark/1
  • position/1
Output Predicates
  • lengthNeeded/1
  • location/2
  • mark/1
  • position/1
Encoding Parameter
    Standalone Help No
    • ASP Contest 09 (Martin Gebser)
    Attributes
    Content