Conjure: The Automated Constraint Modelling Tool

Table of Contents

• Welcome
  • Zulip
• Introduction
• Installation
  • Why containers are recommended
  • Quick start using containers
    • Docker
    • Podman
    • Apptainer
    • Verify the installation
  • Downloading a binary
  • Compiling from source
  • Installing Savile Row
  • Docker / Podman / Apptainer
    • Available images
    • Docker and Podman usage
    • Apptainer usage
    • Version pinning
    • Authentication note (GHCR)
  • Testing your installation
  • CPLEX with Docker/Podman
• 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
    • Miscellaneous examples
• Tutorials
  • Number puzzle
    • Initial model
    • Identifying a missing constraint
    • Final model
  • The Knapsack problem
  • Nurse rostering
    • Initial specification
    • Changing an overly restrictive assumption
    • 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
  • Futoshiki
    • Problem
    • Essence Model
    • Instance
    • Solving
  • BIBD
    • The Problem
    • The Model
    • Improvements
  • Semigroups, Monoids and Groups
    • The Problem
    • Semigroups
    • Monoids
    • Groups
  • Handcrafting Instance Generators in Essence
    • Instances for the Knapsack problem
  • Simple Permutations
    • Problem
    • Enumeration/Generation Model
    • Parameter
    • Solving
    • Checking Model
    • Instances
    • Solving
• Tutorials using Conjure notebook
  • The Knapsack problem
    • Solving the problem
    • Visualisations:
  • Nurse Rostering
    • Initial specification
    • Final model
    • Visualisations
    • Running without domoverwdeg variable
  • Futoshiki
    • Problem
    • Instance
    • Solving the problem step by step
    • Visualising the results
  • Semigroups, Monoids and Groups
    • The Problem
  • Handcrafting Instance Generators in Essence
    • Instances for the Knapsack problem
  • Simple Permutations
    • Problem
    • Parameter
    • Enumeration/Generation Model
    • Solving
    • Checking Model with Instances
• Bits
  • / (integer division)
  • Euclidean
  • - (minus)
  • % (modulo)
  • + (plus)
  • ** (power)
  • * (times)
  • aSymmetric
  • |x| (absolute value)
  • antiSymmetric
  • bijective
  • bool
  • connex
  • coreflexive
  • equivalence
  • in
  • injective
  • int
  • intersect
  • irreflexive
  • maxSize
  • minSize
  • partialOrder
  • record
  • reflexive
  • regular
  • relation
  • sequence
  • serial
  • size
  • subsequence
  • subset
  • subsetEq
  • substring
  • supset
  • supsetEq
  • surjective
  • symmetric
  • total
  • transitive
  • tuple
  • union
  • allDiff
  • and
  • apart
  • defined
  • <- (expression projection)
  • find
  • function
  • image
  • imageSet
  • inverse
  • letting domain
  • –> (long arrow)
  • matrix
  • max
  • min
  • new type enum
  • participants
  • parts
  • party
  • x! (factorial)
  • preImage
  • pred (predecessor)
  • range
  • restrict
  • succ (successor)
  • toInt
  • together
  • unnamed
• References
• Contact
  • Contributors