File Type Notes
diamond_free_degree_sequence.mzn MiniZinc
DiamondfreeDegreeSequences.py Numberjack
diamond_free_sequence.pi Picat