Conjure
latest
Table of Contents
Welcome
Introduction
Installation
Command Line Interface
Features
Conjure’s input language: Essence
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
Conjure
Bits
find
Edit on GitHub
find
The
find
keyword is used to declare decision variables.
Read the Docs
v: latest
Versions
latest
v2.5.1
v2.5.0
v2.4.1
v2.4.0
v2.3.0
v2.2.0
v2.1.0
v2.0.0
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds