Instance golomb-ruler-marks=10-positions=125-needed=36

Name golomb-ruler-marks=10-positions=125-needed=36
Classes
Submitter Martin Gebser
Author Martin Brain
Description
Created 2009-04-01 18:33
Modified 2009-04-01 18:33
Languages
Language Features
Compatible Encodings
Output Predicates
  • lengthNeeded/1
  • mark/1
  • position/1
  • ASP Contest 09 (Martin Gebser)
Attributes
Content