The Finite Domain Constraint Solver of SWI-Prolog
 |
 |
 |
abstract = {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.},
apice = {ClpfdFlops2012},
author = {Markus Triska},
booktitle = {Functional and Logic Programming. FLOPS 2012},
doi = {10.1007/978-3-642-29822-6_24},
editor = {Tom Schrijvers and Peter Thiemann},
isbn13 = {978-3-642-29821-9},
location = {Berlin, Germany},
numpages = 10,
pages = {307--316},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {The Finite Domain Constraint Solver of SWI-Prolog},
volume = 7294,
year = 2012
}