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 |
|
Output Predicates |
|
Encoding Parameter |
|
Standalone | No |
|
|
Attributes | |
Content |