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.
Conjure’s source code repository and release versions are hosted on Github, where we also welcome bug reports, feature requests and pull requests.
Conjure’s documentation can be found here.