clpbool
=======

This package contains a library `CLPB` which contains a
constraint solver over Boolean expressions based on BDDS.

Since the library exploits the Boolean constraint solver
shipped with SICStus-Prolog, its use requires PAKCS
with a SICStus-Prolog back end.