@hackage zsdd0.1.0.0

Zero-suppressed decision diagrams

Categories
License
BSD-3-Clause
Maintainer
eddiejones2108@gmail.com
Links
Versions
- 0.2.1.0 Thu, 7 May 2020
- 0.2.0.0 Mon, 4 May 2020
- 0.1.0.0 Mon, 27 Apr 2020

Installation
In your cabal file:
Dependencies (5)
- base >=4.13 && <4.14
- containers >=0.6.2 && <0.7
- mtl >=2.2.2 && <2.3
- hashable >=1.3.0 && <1.4
- unordered-containers >=0.2.10 && <0.3
Dependents (0)

An efficient representation of abstract propositions