CSPLib
Problems
prob115
Results
115: Tail Assignment
Specification
Data files
Results
References
Models
Cite
Json
Edit Page