CSPLib
Problems
prob006
Data
04.dzn
006: Golomb rulers
Specification
Data files
Results
References
Models
Cite
Json
Edit Page
Download
m = 4;