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 "boolean-functions" keyword

View the packages on the crates.io package registry that are tagged with the "boolean-functions" keyword.

sddrs 0.1.4
Bottom-up Sentential Decision Diagram compiler library.
5 versions - Latest release: 8 months ago - 3.15 thousand downloads total - 5 stars on GitHub - 1 maintainer
Related Keywords
decision-diagrams 1 knowledge-base 1 model-counting 1 sdd 1 decision-diagram 1 knowledge-compilation 1 model-enumeration 1 satisfiability-problem 1 sentential-decision-diagram 1