CSPLib
Languages
EssencePrime
Models
Essence'
Specification
Data files
References
Models
Cite
File
Problem
Notes
all_interval.eprime
007: All-Interval Series
traffic_lights.eprime
016: Traffic Lights
set_partition.eprime
049: Number Partitioning
nqueens.eprime
054: N-Queens
killer_sudoku.eprime
057: Killer Sudoku