Uploaded at Apr 1 13:57:46 2020
Succesfully tested at Nov 29 06:08:54 2022

Curry Package 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.


Checkout with CPM:
cypm checkout clpbool 2.0.0
Package source:
clpbool-2.0.0.tar.gz [browse]
Source repository: