Encoding golomb-ruler_wikipedia.gringo

Name golomb-ruler_wikipedia.gringo
Class Tree
Submitter Martin Gebser
Author Martin Gebser and Roland Kaminski
Description A Gringo encoding of Golomb Ruler (exploiting known optimums).
Created 2009-03-27 12:58
Modified 2009-03-31 17:22
Languages
Language Features
Compatible Instance Classes
    Input Predicates
    • mark/1
    • position/1
    Output Predicates
    • location/2
    • mark/1
    • position/1
    Encoding Parameter
      Standalone Help No
      Attributes
      Content