Instance golomb-ruler-marks=15-positions=175-needed=31

Name golomb-ruler-marks=15-positions=175-needed=31
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