Conjure Documentation, Release 2.3.0
\"Ozg\"ur Akg\"un, Andr\'as Salamon
TL;DR
Conjure is an automated tool for modeling Constraint Programming problems, providing installation, usage instructions, feature descriptions, and demonstrations to facilitate its adoption.
Contribution
This documentation introduces Conjure 2.3.0, detailing its features, input language Essence, and usage guidance for Constraint Programming modeling.
Findings
Provides comprehensive user guidance and demonstrations.
Details Conjure's features and input language Essence.
Facilitates easier adoption of Conjure for Constraint Programming.
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsConstraint Satisfaction and Optimization · Model-Driven Software Engineering Techniques · Advanced Software Engineering Methodologies