| File | Problem | Notes |
|---|---|---|
| golomb_ruler.ecl | 006: Golomb rulers | |
| all_interval.ecl | 007: All-Interval Series | |
| nono.ecl | 012: Nonogram | An ECLiPSe nonogram solver due to Joachim Schimpf |
| traffic_lights.ecl | 016: Traffic Lights | |
| crossfig.ecl | 021: Crossfigures | ECLiPSe code, for the crossfigure module |
| magic_hexagon.ecl | 023: Magic Hexagon | |
| langford.ecl | 024: Langford's number problem | |
| fractions.ecl | 041: The n-Fractions Puzzle | |
| steiner.ecl | 044: Steiner triple systems | |
| set_partition.ecl | 049: Number Partitioning | |
| killer_sudoku.ecl | 057: Killer Sudoku |