Instance golomb-ruler-marks=14-positions=200-needed=56

Name golomb-ruler-marks=14-positions=200-needed=56
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