CLP(B): Boolean Constraints in Prolog

System Description: swiclpb.pdf (BibTeX)

Library documentation: http://eu.swi-prolog.org/man/clpb.html

Benchmarks: benchmarks.tar.gz

SICStus port: clpb.pl

Performance profiles: performance_analysis.tar.gz

Prolog facts expressing the contiguous United States and DC as they appear in SGB: edges.pl

Using CLP(B) to compute independent sets, maximal independent sets, and maximum weighted kernels of the cycle graph C100: kernels.pl

Using CLP(B) to solve a matchsticks puzzle (remove the minimum number of matchsticks so that no subsquares remain): matchsticks.pl

More CLP(B) usage examples: github.com/triska/clpb

A ZDD-based variant of the library is available from: https://github.com/triska/clpb/tree/master/zdd


More about Prolog: The Power of Prolog

In particular: Logic Puzzles


Please write to triska@metalevel.at or use the clpb tag on Stackoverflow if you have any questions about CLP(B).

Thank you for your interest!

Markus Triska, May 28th, 2016


Main page