Skip to main content
Department of Information Technology

CP Software & Hardware

Teaching medium:

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.

Updated  2010-08-15 13:38:42 by Pierre Flener.