  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.
