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