@hackage obdd0.3.1

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 (5)
- array
- base >=4 && <5
- containers >=0.5
- mtl
- random
Dependents (1)
@hackage/acme-everything

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