|
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
|
|
|
p01.param
|
040: A Distribution Problem with Wagner-Whitin Costs
|
Example .param file for use with Essence model, describes example problem from Tarim & Miguel
|
|
diagnosis-single.essence
|
042: diagnosis
|
|
|
input.param
|
042: diagnosis
|
Example .param file describing full-adder example for use with Essence model
|
|
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
|
|
|
p01.param
|
051: Tank Allocation
|
.param file for use with essence model, describes same problem as chemical.xml
|
|
nqueens.essence
|
054: N-Queens
|
N-Queens in Essence
|
|
prob055-EFPA.essence
|
055: Equidistant Frequency Permutation Arrays
|
|
|
eparams.param
|
055: Equidistant Frequency Permutation Arrays
|
example .param file for Essence model with parameters from specification
|
|
KillerSudoku.essence
|
057: Killer Sudoku
|
|