Conjure

Conjure is an automated modelling tool for constraint programming. The architecture of the system together with evaluation and some example applications are reported in a few venues including:

• Ozgur Akgun. Portfolios of Constraint Models. SICSA PhD Conference 2010.
• Ozgur Akgun. Refining Portfolios of Constraint Models with Conjure. Doctoral Program, CP-10.
• Ozgur Akgun, Alan M. Frisch, Brahim Hnich, Chris Jefferson and Ian Miguel. Conjure Revisited: Towards Automated Constraint Modelling. ModRef 2010.
• Ozgur Akgun, Ian Miguel, Alan Frisch, Brahim Hnich and Christopher Jefferson. Extensible Automated Constraint Modelling. CSCLP 2011 (to appear in AAAI-11).
• Ozgur Akgun, Ian Miguel, and Christopher Jefferson. The Open Stacks Problem: An Automated Modelling Case Study. CSCLP 2011.

Conjure is implemented by a single developer. Although it is readily capable of refining all problem specifications given in Essence, it is far from being ready to be presented as a finished product. Nevertheless, we have decided to release the work-in-progress version.

This should be considered as an alpha release. Conjure is useful together with refinement rules written in a domain specific rule language (partly described in publications listed above). The release process will be staged, and we are planning to add more examples and refinement rules in addition to a better UI to Conjure in the very near future. Stay tuned.

If you want to try Conjure on a specific problem of yours, you are very welcome to get in touch with me.

Here are two bundles containing pre-built binaries for Mac OS X and Windows. The bundles also contain a few example problem specifications and refinement rules to see the system in action. Please see the associated README file.

Eventually, we are planning to make all the refinement rules and the source code for Conjure itself available.

Back to Ozgur's homepage.