File Problem Notes
prob001-CarSeq.essence 001: Car Sequencing
nonogram.essence 012: Nonogram
prob027-alientiles-multipass.zip 027: Alien Tiles Problem Model using equivalence to determine minimality. Based on method used by Gent, Linton and Smith
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
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
KillerSudoku.essence 057: Killer Sudoku