Uploaded at Aug 28 14:07:04 2020 (UTC)

Succesfully tested at Feb 16 03:53:28 2023

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.

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