Conjure
v2.1.0
Table of Contents
Welcome
Introduction
Installation
Command Line Interface
Features
Conjure’s input language: Essence
Demonstrations
References
Contact
Conjure
Docs
»
Conjure: The Automated Constraint Modelling Tool
Edit on GitHub
Conjure: The Automated Constraint Modelling Tool
¶
Table of Contents
Welcome
Introduction
Installation
Downloading a binary
Compiling from source
Installing Savile Row
Command Line Interface
Help output
Features
Problem classes
High level of abstraction
Arbitrarily nested types
Automatic symmetry breaking
Multiple models
Automated channelling
Extensibility
Multiple target solvers
Conjure’s input language: Essence
Declarations
Declaring decision variables
Declaring parameters
Declaring aliases
Declaring enumerated types
Declaring unnamed types
Branching statements
Constraints
Instantiation conditions
Objective statements
Names
Domains
Boolean domains
Integer domains
Enumerated domains
Unnamed domains
Tuple domains
Record domains
Variant domains
Matrix domains
Set domains
Multi-set domains
Function domains
Sequence domains
Relation domains
Partition domains
Types
Expressions
Matrix indexing
Tuple indexing
Arithmetic operators
Comparisons
Logical operators
Set operators
Sequence operators
Enumerated type operators
Multiset operators
Type conversion operators
Function operators
Matrix operators
Partition operators
List combining operators
Comprehensions
Demonstrations
Number puzzle
Initial model
Identifying a missing constraint
Final model
Labelled connected graphs
Model 1: distance matrix
Model 2: reachability matrix
Model 3: structured reachability matrices
Model 4: connected component
Model 5: minimal connected component
Generating all connected graphs
References
Contact
Contributors
Read the Docs
v: v2.1.0
Versions
latest
v2.1.0
v2.0.0
Downloads
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.