Conjure
2.6.0
Table of Contents
Welcome
Introduction
Installation
Command Line Interface
Features
Conjure’s input language: Essence
Tutorials
Tutorials using Conjure notebook
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
Conjure
Bits
find
find
The
find
keyword is used to declare decision variables.