This work is licensed under a Creative Commons Attribution 4.0 International License. | File | Type | Notes |
|---|---|---|
| diamond_free_degree_sequence.mzn | MiniZinc | |
| DiamondfreeDegreeSequences.py | Numberjack | |
| diamond_free_sequence.pi | Picat |
This work is licensed under a Creative Commons Attribution 4.0 International License.