This is a collection of Essence specifications. Each includes links to a detailed problem description, and to models in other high level constraint languages for comparison.

Note: This catalog is in the process of being updated to reflect changes in the Essence syntax. Where possible, refer to the most recent version of the specification.

# Problem Details Essence Other
001 Car Sequencing CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
002 Template Design CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
003 Quasigroup Existence CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
004 Mystery Shopper CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
005 Low Autocorellation Binary Sequences CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
006 Golomb Ruler Problem CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
007 All-interval Series CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
008 Vessel Loading CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
009 Perfect Square Placement CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
010 Social Golfer Problem CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
011 ACC Basketball Schedule CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
012 Nonograms CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
013 Progressive Party Problem CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
014 Solitaire Battleships CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
015 Schur's Lemma CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
016 Traffic Lights CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
017 Ramsey Numbers CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
018 Water Bucket Problem CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
019 Magic Squares CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
020 Darts Tournament CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
021 Crossfigures CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
022 Bus Driver Scheduling CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
023 Magic Hexagon CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
024 Langford's Number Problem CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
025 Lam's Problem CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
026 Round Robin Tournament Scheduling CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
027 Alien Tiles CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
028 Balanced Incomplete Block Design CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
029 Prime Queen Attacking Problem CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
030 Balanced Academic Curriculum Problem CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
031 Rack Configuration Problem CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
032 Maximum Density Still Life CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
033 Word Design for DNA Computing on Surfaces CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
034 Warehouse Location Problem CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
035 Molnar's Problem CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
036 Fixed Length Error Correcting Codes CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
037 Peg Solitaire CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
038 Steel Mill Slab Design Problem CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
039 Rehearsal Problem CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
040 A Distribution Problem with Wagner-Whitin Costs CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
041 N-Fractions Puzzle CSPLib 1.2.0 1.1.0 Older OPL ESRA F Z
101 Stable Marriages Problem 1.2.0 1.1.0 Older OPL ESRA F Z
102 Worker Allocation 1.2.0 1.1.0 Older OPL ESRA F Z
103 Travelling Salesman Problem 1.2.0 1.1.0 Older OPL ESRA F Z
104 Travelling Tournament Problem 1.2.0 1.1.0 Older OPL ESRA F Z
105 Transport Design Problem 1.2.0 1.1.0 Older OPL ESRA F Z
106 Temporal Knapsack Problem 1.2.0 1.1.0 Older OPL ESRA F Z
107 Stable Set Problem 1.2.0 1.1.0 Older OPL ESRA F Z
108 Winner Determination Problem 1.2.0 1.1.0 Older OPL ESRA F Z
109 N-Queens Problem 1.2.0 1.1.0 Older OPL ESRA F Z
110 Peaceably Co-existing Armies of Queens Proc. 1.2.0 1.1.0 Older OPL ESRA F Z
111 Maximum Clique Problem 1.2.0 1.1.0 Older OPL ESRA F Z
112 Lot Sizing Problem 1.2.0 1.1.0 Older OPL ESRA F Z
113 Doctors without Borders 1.2.0 1.1.0 Older OPL ESRA F Z
114 Graph Isomorphism 1.2.0 1.1.0 Older OPL ESRA F Z
115 Tail Assignment Proc. 1.2.0 1.1.0 Older OPL ESRA F Z
116 Vellino's Problem Book 1.2.0 1.1.0 Older OPL ESRA F Z
117 Decentralisation 1.2.0 1.1.0 Older OPL ESRA F Z
118 Power Generation 1.2.0 1.1.0 Older OPL ESRA F Z
119 Celular Frequency Assignment 1.2.0 1.1.0 Older OPL ESRA F Z
120 Staffing Problem 1.2.0 1.1.0 Older OPL ESRA F Z
121 Factory Planning 1.2.0 1.1.0 Older OPL ESRA F Z
122 Maximal Independent Set 1.2.0 1.1.0 Older OPL ESRA F Z
123 Milk Collection Book 1.2.0 1.1.0 Older OPL ESRA F Z
124 Permutation Generation 1.2.0 1.1.0 Older OPL ESRA F Z
125 Scheduling with Precedence Constraints 1.2.0 1.1.0 Older OPL ESRA F Z
126 Cryptarithmetic Puzzles 1.2.0 1.1.0 Older OPL ESRA F Z
127 Graph Colouring 1.2.0 1.1.0 Older OPL ESRA F Z
128 Crossword Problem Proc. 1.2.0 1.1.0 Older OPL ESRA F Z
129 SONET Configuration Proc. 1.2.0 1.1.0 Older OPL ESRA F Z
130 Nurse Rostering 1.2.0 1.1.0 Older OPL ESRA F Z
131 Production Line Sequencing Proc. 1.2.0 1.1.0 Older OPL ESRA F Z
132 A Layout Problem Journal 1.2.0 1.1.0 Older OPL ESRA F Z
133 Knapsack Problem 1.2.0 1.1.0 Older OPL ESRA F Z