CT Software

Teaching media:

• 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.
  • How to install Gecode/J on your own machine.
    • Please use the pre-compiled binaries (available for Linux/x86 and Windows).
    • Windows users should install Gecode/J via Cygwin or Cygwin/X.
    • We do not provide any support for installing Gecode/J from source on your own machine.
  • Go here for some known bugs or errors.

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).

• 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.