ESSENCE’ is a constraint specification language. The language was originally designed as a subset of ESSENCE, but now has language features which are not in ESSENCE, such as matrix comprehension.

The main feature missing from ESSENCE’ which is in ESSENCE is high-level types, ESSENCE’ contains only integers, Booleans and matrices of these types.

There is one actively maintained implementation of ESSENCE’:

• Savile Row provides a complete implementation of the ESSENCE’ language, mapping ESSENCE’ to the Minion Input Language or to FlatZinc suitable for Gecode.

There is one inactive implementation of ESSENCE’

• Tailor, built by Andrea Rendl and described in her PhD [RendlPhDThesis], implemented an earlier version of ESSENCE’.

All the EssencePrime models can be downloaded as a zip file