Masala: The Repository of Curry Packages

Last page: ?

Visibility

Public
Category
Constraints
Versions
2.1.0 2.0.0 0.0.1
Dependencies
Exported modules
CLPB
Uploaded by
The Masala Administrator
at Apr 1 11:57:46 2020 (UTC)
Maintainer
The Masala Administrator
Deprecated
no

Succesfully tested at May 20 01:49:41 2024

Curry Package clpbool

A library with a Boolean Constraint Solver based on BDDs.

Detailed package documentation (available shortly after this version has been published)