We will use the MiniZinc toolchain (http://www.minizinc.org).  All
software is installed by us on the Linux computers at the IT
department, so you can (remote-)login to them: accounts are created.

If you want to make (most of) the experiments on your own hardware,
then install the MiniZinc toolchain (http://www.minizinc.org) before
the course starts.  It comes bundled with backends for the following
technologies and solvers:
+ CP technology: Gecode
+ LCG technology: Chuffed
+ MIP technology: COIN-OR CBC
The toolchain interfaces smoothly with the commercial MIP solvers
Gurobi Optimizer (http://www.gurobi.com) and CPLEX Optimizer, if you
have a license: an academic site license for Gurobi installed on the
Linux computers at the IT department.

The remaining technologies and backends you should run experiments
on are:
+ SAT technology: PicatSAT (http://picat-lang.org)
+ CBLS technology: OscaR.cbls (http://www.it.uu.se/research/group/astra/software#fznoscarcbls)

We also recommend the following alternatives to Gecode and Chuffed:
+ CP technology: Choco (http://www.choco-solver.org)
+ LCG technology: Google Optimization Tools (https://developers.google.com/optimization)