CSPLib
Problems
prob015
Data
10-3.dzn
015: Schur's Lemma
Specification
Data files
Results
References
Models
Cite
Json
Edit Page
Download
1
2
n = 10;
c = 3;