CSPLib
Problems
prob050
Models
050: Diamond-free Degree Sequences
Specification
Data files
Results
References
Models
Cite
Json
Edit Page
File
Type
Notes
diamond_free_degree_sequence.mzn
MiniZinc
DiamondfreeDegreeSequences.py
Numberjack
diamond_free_sequence.pi
Picat