CP Software & Hardware
Teaching medium:
- Gecode
(version 3.4.0): 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)
- Installation help
- We do not provide any support for installing Gecode on your own machine
- How to program, compile, link, and execute a Gecode model
(you must read this document as soon as possible!)
Other recommended solvers for the assignments and projects (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.34 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).
- Comet
, marketed by Dynadec
, combines the methodologies used for constraint programming, linear and integer programming, constraint-based local search, and dynamic stochastic combinatorial optimisation with a new, rich language for modeling and searching. There is a free student license
.
See also our list of solvers and Roman Barták's list of solvers
, both commercial and free ones.