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