Software

Which constraint solver should I use for my assignments?

Software installed on the department's Solaris machines (hamberg, zeppo, spikklubban, ...):

• Koalog Constraint Solver: a finite domain constraint library for Java. Read this guide to get started using Koalog at the department. (Note protected access. Ask Magnus for the password.) This page contains a list of known bugs.
• SICStus Prolog: a Prolog system including a finite domain constraint library.
• FaCiLe: a finite domain constraint library for OCaml.

Other software:

• Ilog Solver: a finite domain constraint library for C++.
• Ilog OPL Studio: an integrated high-level optimisation suite.
• ECLiPSe: a Prolog system including a finite domain constraint library.

See also Roman Barták's more complete page here.