Conjure

Conjure is an Automated Constraint Modelling tool, which accepts problems specified in the Essence language and outputs constraint models in the language Essence’, suitable for input to our tool Savile Row, which then tailors these models to the input requirements of particular constraint solvers such as Minion.