zsdd alternatives and similar packages
Based on the "Data" category.
Alternatively, view zsdd alternatives based on common mentions on social networks and blogs.
-
-
-
-
-
-
compendium-client
DISCONTINUED. Mu (μ) is a purely functional framework for building micro services. -
-
-
-
-
-
-
-
-
-
-
-
-
-
-
streaming
An optimized general monad transformer for streaming applications, with a simple prelude of functions -
-
-
-
-
-
text-icu
This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
CodeRabbit: AI Code Reviews for Developers
Do you think we are missing an alternative of zsdd or a related project?
README
ZSDD 
This package provides an efficient representation of propositions as directed acyclic graphs. Intnerally this is acutally 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.
Shin-ichi Minato, "Zero-suppressed BDDs for set manipulation in combinatorial problems", DAC '93: Proceedings of the 30th international Design Automation Conference https://dl.acm.org/doi/10.1145/157485.164890