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_mip.ecl
|
133: Knapsack Problem
|
|
knapsack_cp.ecl
|
133: Knapsack Problem
|
|