File | Problem | Notes |
---|---|---|
golomb_ruler.ecl | 006: Golomb rulers | |
all_interval.ecl | 007: All-Interval Series | |
golf.ecl | 010: Social Golfers Problem |
ECLiPSe model, originally from http://eclipseclp.org/examples/golf.pl.txt |
nono.ecl | 012: Nonogram |
An ECLiPSe nonogram solver due to Joachim Schimpf |
traffic_lights_table.ecl | 016: Traffic Lights | |
traffic_lights_backtrack.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 | |
queens.ecl | 054: N-Queens | |
killer_sudoku.ecl | 057: Killer Sudoku | |
test_scheduling.ecl | 073: Test Scheduling Problem | |
knapsack_cp.ecl | 133: Knapsack Problem | |
knapsack_mip.ecl | 133: Knapsack Problem |