Title | Extensions | |
---|---|---|
EssencePrime |
|
EssencePrime 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 EssencePrime which is in ESSENCE is high-level types, EssencePrime contains only integers, Booleans and matrices of these types.
There is one actively maintained implementation of EssencePrime:
- Savile Row provides a complete implementation of the EssencePrime language, mapping EssencePrime to the Minion Input Language or to FlatZinc suitable for Gecode.
There is one inactive implementation of EssencePrime
- Tailor, built by Andrea Rendl and described in her PhD cite{RendlPhDThesis}, implemented an earlier version of EssencePrime.