Conjure
v2.5.1
Table of Contents
Welcome
Introduction
Installation
Command Line Interface
Features
Conjure’s input language: Essence
Tutorials
Tutorials using Conjure notebook
Bits
regular
min
and
max
allDiff
find
<- (expression projection)
new type enum
/ (integer division)
in
% (modulo)
References
Contact
Conjure
Bits
find
Edit on GitHub
find
The
find
keyword is used to declare decision variables.
Read the Docs
v: v2.5.1
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
On Read the Docs
Project Home
Builds