swMATH ID: 6308
Software Authors: Triska, Markus
Description: We present a new constraint solver over finite domains, freely available as library(clpfd) in SWI-Prolog. Our solver has several unique features, which we describe in this paper: Reasoning over arbitrarily large integers, always terminating propagation, and a domain-specific language that concisely expresses the full semantics of constraint reification. The library is entirely written in prolog and can be easily ported to other prolog systems that support attributed variables. the constraint solver is fast enough for teaching and research purposes and is already being used in courses at several universities in France, Germany, Italy, Austria and other countries.
Homepage: http://www.swi-prolog.org/man/clpfd.html
Programming Languages: SWI-Prolog
Related Software: SWI-Prolog; XSB; SICStus; Prolog; jPET; ATGen; Pex; ACIDE; NP Datalog; Ciao; Gecode; COMET; B-Prolog; YAP-Prolog; Datalog; CSPLib
Cited in: 5 Documents
Further Publications: http://www.swi-prolog.org/Publications.txt

Standard Articles

1 Publication describing the Software Year
The finite domain constraint solver of SWI-Prolog
Triska, Markus

Citations by Year