Welcome to the documentation of Conjure!
Conjure is an automated modelling tool for Constraint Programming.
In this documentation, you will find the following.
- A brief introduction to Conjure,
- installation instructions,
- a description of how to use Conjure through its command line user interface,
- a list of Conjure's features,
- a description of Conjure's input language Essence, and
- a collection of simple demonstrations of Conjure's use.