This page is only kept for historical reference. As of May 2016, it is
by more recent material that is available from:
All benchmarks mentioned in
The Boolean Constraint Solver of SWI-Prolog: System Description
, submitted to FLOPS'2016, are available from:
Other usage examples:
Please check out the library's documentation for usage information:
Please write to
or use the
if you have any questions about CLP(B).
Related Prolog programs and texts are available at
Thank you for your interest in SWI-Prolog and this library! I hope to see you in Kochi in 2016.
Markus Triska, Sept. 20th, 2015