Curry Package 'clpbool'

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.