Instance golomb-ruler-marks=13-positions=150-needed=24

Name golomb-ruler-marks=13-positions=150-needed=24
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