File | Type | Notes |
---|---|---|
killer_sudoku.mod | AMPL | |
killer_sudoku.lp4 | ASP Gringo 4 | |
killer_sudoku_bp.pl | B-Prolog | |
killer_sudoku.co | Comet | |
killer_sudoku.ecl | ECLiPSe CLP | |
KillerSudoku.essence | Essence | |
killer_sudoku.eprime | Essence' | |
killer_sudoku.cpp | Gecode | |
killer_sudoku.mzn | MiniZinc | |
killer_sudoku2.mzn | MiniZinc | |
killer_sudoku.cs | or-tools/C# | |
killer_sudoku_ortools.py | or-tools/Python | |
KillerSudoku_oscar.scala | OscaR | |
killer_sudoku.pi | Picat | |
killer_sudoku_sicstus.pl | SICStus Prolog |