CP Solver & Hardware

Gecode (we will use version 4.2.1, released in November 2013): a C++ finite-domain constraint library (free, open-source):

• You can use Gecode on the Unix / Solaris and Windows computers of the IT department.

• Download Gecode to your own machine:
  • Preferably use the pre-compiled binaries (available for Linux/x86, Mac OS X, and Windows).
  • We have no resources to provide any support for installing Gecode on your own machine.

• How to program, compile, link, and execute a Gecode model: You must read the recommended chapters (at Lectures & Slides) of this document as soon as possible!!!

Depending on your programming expertise, you can also use the following solvers for the assignments and project parts (under your own responsibility):

• SICStus Prolog: a logic programming system including a finite-domain constraint library (commercial, installed on the Unix computers at the IT department: use /it/sw/prolog/bin/sicstus). See Section 10.35 of the documentation. The CLPFD library is loaded by the query ?- use_module(library(clpfd))., and the location of the example files is displayed by the query ?- absolute_file_name(library('clpfd/examples'), A).

• FaCiLe: a finite-domain constraint library for OCaml, a functional programming language (free, GNU LGPL).

See also our list of solvers, both commercial and free ones.