Conjure

Conjure is an automated modelling tool for Constraint Programming.

This repository contains the development version of the tool.

• For release versions please see the releases section.
• If you want to cite Conjure, use the instructions on Zenodo
• Conjure's license is BSD3
• Documentation is hosted on Read the Docs
• Continuous testing on Github actions
  • 
  • 
  • Code coverage report available at: https://conjure-cp.github.io/conjure-code-coverage

Documentation

Documentation for Conjure and its input language Essence can be found here.

The documentation also contains information on how to install Conjure and how to contact the developers.

Demos

We host a few demo applications: See https://conjure-cp.github.io/demos

Conjure Notebook

Conjure can be used inside a Jupyter notebook, with seamless Python integration. Using this extension, parameters are automatically passed from Python to Conjure and solutions are automatically made available in Python.

See the conjure-cp/conjure-notebook repository for details.

Repository

Conjure's source code, issue tracker and releases are hosted on the conjure-cp/conjure Github repository.

You are very welcome to submit issues and pull requests!

A note about imported issues

The conjure-cp/conjure repository is the 3rd home of Conjure's development repository. Feel free to ignore this section if you don't care about it.

We used to use mercurial hosted on BitBucket in the past: and two separate repositories over time! We have imported the issues from the BitBucket repositories in order not to lose them into the conjure-cp/conjure repository.

For reference, the imported issues on the conjure-cp/conjure repository are the following:

• issues 2-271 correspond to issues 1-270 from bitbucket/conjure-old
• issues 272-349 correspond to issues 1-78 from bitbucket/conjure-private

We realise this is all a bit untidy, to say the least! We hope not to move the repositories around any more!