Choco Tuto: Getting started with Choco

Introduction

• Introduction to choco-tuto
  • Presentation
• About Constraint Programming
• Choco, a constraint programming java library
  • What is Choco ?
  • Why using Choco ?
• Installation
  • Requirements
  • Download
  • Installation
  • Check everything is alright

Through a first example

• A first example
  • Modelling the eight queens puzzle
  • What to do next ?
• Objects in Choco
  • The Model
  • The Variables
  • The Constraints
  • The Solver
  • Modelling and Solving
• Playing around with 8-queens puzzle
  • Variables
  • Constraints
  • Global constraints
  • Solver
  • Updated code

Practicals

• Verbal arithmetic
• Warehouse Location Problem
• Aircraft Landing Problem
• Nonogram
• Golomb ruler

Customize

• Creating a constraint