Conjure: The Automated Constraint Modelling Tool
Table of Contents
- Welcome
- Introduction
- Installation
- Command Line Interface
- Features
- Conjure’s input language: Essence
- Declarations
- Branching statements
- Constraints
- Instantiation conditions
- Objective statements
- Names
- 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
- Tutorials using Conjure notebook
- Bits
- Euclidean
- aSymmetric
- antiSymmetric
- bijective
- connex
- coreflexive
- equivalence
- injective
- irreflexive
- maxSize
- minSize
- partialOrder
- reflexive
- regular
- serial
- size
- surjective
- symmetric
- total
- transitive
- allDiff
- and
- apart
- defined
- image
- imageSet
- inverse
- max
- min
- participants
- parts
- party
- preImage
- pred (predecessor)
- range
- restrict
- succ (successor)
- toInt
- together
- <- (expression projection)
- find
- letting domain
- –> (long arrow)
- new type enum
- / (integer division)
- - (minus)
- % (modulo)
- + (plus)
- ** (power)
- * (times)
- |x| (absolute value)
- in
- intersect
- subsequence
- subset
- subsetEq
- substring
- supset
- supsetEq
- union
- x! (factorial)
- bool
- int
- record
- relation
- sequence
- tuple
- function
- matrix
- unnamed
- References
- Contact