CT Software & Hardware

Teaching medium:

• Gecode/J: a Java wrapper for the C++ finite-domain constraint library Gecode (free, open-source)
  • How to run Gecode/J at the IT department:
    • Unix: Use the default JDK (/it/sw/java/bin/java).
    • Windows: Sorry, Gecode/J cannot be installed this year: use your own machine.
  • How to install Gecode/J on your own machine
    • Preferably use the pre-compiled binaries (available for Linux/x86, Mac OS X, and Windows)
    • Installation help
    • Windows users should install Gecode/J via Cygwin or Cygwin/X
    • We do not provide any support for installing Gecode/J on your own machine
  • Getting Started: Introduction to Implementing a Model Using Gecode/J
  • Sample Models (from the Gecode/J distribution)

Other recommended solvers for the assignments and projects:

• SICStus Prolog: a logic programming system including a finite-domain constraint library (commercial, installed on Unix computers at the IT department: use /it/sw/prolog/bin/sicstus). See Section 10.34 of the documentation. 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 and Roman Barták's list of solvers, both commercial and free ones.