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.