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