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.