Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "satisfiability-problem" keyword

sddrs 0.1.4
Bottom-up Sentential Decision Diagram compiler library.
5 versions - Latest release: about 1 year ago - 3.75 thousand downloads total - 6 stars on GitHub - 1 maintainer
Related Keywords
decision-diagrams 1 knowledge-base 1 boolean-functions 1 model-counting 1 sdd 1 decision-diagram 1 knowledge-compilation 1 model-enumeration 1 sentential-decision-diagram 1