Welcome

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.

Zulip

We have recently enabled Zulip for Conjure/Essence users, developers and learners. If you are interested in joining, you can use this link to find us!