Synopsis
A library with a constraint solver over the Booleans
Category
Constraints
Versions
2.1.0 2.0.0 0.0.1
Dependencies
base >= 1.1.0, < 2.0.0
Author
Sebastian Fischer <sebf@informatik.uni-kiel.de
Maintainer
Michael Hanus <mh@informatik.uni-kiel.de>
Compiler requirements
pakcs >= 2.2.1, < 3.0.0
Exported modules
CLPB
Description
A library with a Boolean Constraint Solver based on BDDs.
License
BSD-3-Clause / License file
Further infos:

Uploaded at Mar 16 16:56:38 2024 (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.

Download

Checkout with CPM:: cypm checkout clpbool 2.1.0
Package source:: clpbool-2.1.0.tar.gz [browse]
Source repository:: https://github.com/curry-packages/clpbool.git