@hackage obdd0.2.5

Ordered Reduced Binary Decision Diagrams

Categories
License
LicenseRef-GPL
Maintainer
Johannes Waldmann <waldmann@imn.htwk-leipzig.de>
Links
Versions
- 0.9.0 Fri, 15 Mar 2024
- 0.8.4 Fri, 25 Mar 2022
- 0.8.2 Sun, 20 May 2018
- 0.8.1 Thu, 29 Dec 2016
- 0.6.1 Wed, 23 Nov 2016
- 0.6.0 Tue, 22 Nov 2016

Installation
In your cabal file:
Dependencies (4)
- base >=4 && <5
- containers
- mtl
- random
Dependents (1)
@hackage/acme-everything

Construct, combine and query OBDDs; an efficient representation for formulas in propositional logic