Uploaded at Apr 1 13:57:44 2020

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.


Download

Checkout with CPM:
cypm checkout clpbool 0.0.1
Package source:
clpbool-0.0.1.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/clpbool.git