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