CSPLib
Languages
Essence
Models
Essence
Specification
Data files
References
Models
Cite
File
Problem
Notes
prob001-CarSeq.essence
001: Car Sequencing
nonogram.essence
012: Nonogram
prob027-alientiles-singlepass.essence
027: Alien Tiles Problem
Natural model of problem as stated, but very expensive. Will only solve (via conjure/savilerow) very small problems, roughly such that grid+colours <= 5
prob027-alientiles-multipass.zip
027: Alien Tiles Problem
Model using equivalence to determine minimality. Based on method used by Gent, Linton and Smith
prob030-Bacp.essence
030: Balanced Academic Curriculum Problem (BACP)
Wag-40.essence
040: A Distribution Problem with Wagner-Whitin Costs
diagnosis-single.essence
042: diagnosis
steiner.essence
044: Steiner triple systems
prob048-MEB.essence
048: Minimum Energy Broadcast (MEB)
set_partition_simple.essence
049: Number Partitioning
set_partition_full.essence
049: Number Partitioning
TankAlloc-051.essence
051: Tank Allocation
nqueens.essence
054: N-Queens
N-Queens in Essence
prob055-EFPA.essence
055: Equidistant Frequency Permutation Arrays
sonet.essence
056: Synchronous Optical Networking (SONET) Problem
KillerSudoku.essence
057: Killer Sudoku
opd.essence
065: Optimal Financial Portfolio Design
layout.essence
132: A Layout Problem
knapsack.essence
133: Knapsack Problem