Tutorials

We demonstrate the use of Conjure for some small problems.

• Number puzzle
• The Knapsack problem
• Nurse rostering
• Labelled connected graphs
• Futoshiki
• BIBD
• Semigroups, Monoids and Groups
• Handcrafting Instance Generators in Essence
• Simple Permutations