zsdd: Zero-Suppressed and Reduced Decision Diagrams

[ bsd3, data, library ] [ Propose Tags ]

This package provides an efficient representation of propositions and families of sets as directed acyclic graphs. Internally this is a Free monad with shared subterms. All operations are linear in the size of the diagram, but the size of the diagram is also proportional to the number of operations.

There are two reduction stratergies Simple and ZeroSup. The former is generic and widely applicable, whereas the latter is specialised to sparse formulas. Sparse formulas are those with few models or where most atoms are false. A typical use cases of this mode is when modelling families of sets.

Versions [faq],,
Change log CHANGELOG.md
Dependencies base (==4.13.*), containers (>=0.6.2 && <0.7), hashable (>=1.3.0 && <1.4), mtl (>=2.2.2 && <2.3), unordered-containers (>=0.2.10 && <0.3) [details]
License BSD-3-Clause
Author Eddie Jones
Maintainer eddiejones2108@gmail.com
Category Data
Source repo head: git clone https://github.com/eddiejones2108/decision-diagrams
Uploaded by eddiejones at 2020-05-07T08:34:43Z
Distributions NixOS:
Downloads 172 total (16 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user [build log]
All reported builds failed as of 2020-05-07 [all 1 reports]


[Index] [Quick Jump]


Maintainer's Corner

For package maintainers and hackage trustees