Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "zdd" keyword
xdd 0.1.0
Decision diagrams including BDD, ZDD, MBDD, πDD and more for combinatorics.1 version - Latest release: about 1 year ago - 366 downloads total - 4 stars on GitHub - 1 maintainer
oxidd-test-utils 0.1.0
Test utilities for OxiDD1 version - Latest release: about 2 months ago - 3 dependent packages - 190 downloads total - 25 stars on GitHub - 1 maintainer
oxidd-rules-zbdd 0.6.0
Zero-suppressed decision diagrams (ZBDDs) for OxiDD1 version - Latest release: about 2 months ago - 1 dependent package - 241 downloads total - 25 stars on GitHub - 1 maintainer
oxidd-rules-tdd 0.1.0
Ternary decision diagrams (TDDs) for OxiDD1 version - Latest release: about 2 months ago - 1 dependent package - 245 downloads total - 25 stars on GitHub - 1 maintainer
oxidd-rules-mtbdd 0.1.0
Multi-terminal decision diagrams (MTBDDs) for OxiDD1 version - Latest release: about 2 months ago - 1 dependent package - 240 downloads total - 25 stars on GitHub - 1 maintainer
oxidd-rules-bdd 0.6.0
Binary decision diagrams (BDDs) for OxiDD1 version - Latest release: about 2 months ago - 1 dependent package - 234 downloads total - 25 stars on GitHub - 1 maintainer
oxidd-reorder 0.1.0
Reordering algorithms for OxiDD1 version - Latest release: about 2 months ago - 2 dependent packages - 214 downloads total - 25 stars on GitHub - 1 maintainer
oxidd-parser 0.1.0
Parsers for logic file formats1 version - Latest release: about 2 months ago - 1 dependent package - 168 downloads total - 25 stars on GitHub - 1 maintainer
oxidd-manager-pointer 0.1.0
Pointer-based manager implementation for OxiDD1 version - Latest release: about 2 months ago - 1 dependent package - 202 downloads total - 25 stars on GitHub - 1 maintainer
oxidd-manager-index 0.6.0
Index-based manager implementation for OxiDD1 version - Latest release: about 2 months ago - 1 dependent package - 194 downloads total - 25 stars on GitHub - 1 maintainer
oxidd-dump 0.1.0
Dump OxiDD decision diagrams to file1 version - Latest release: about 2 months ago - 6 dependent packages - 246 downloads total - 25 stars on GitHub - 1 maintainer
oxidd-derive 0.6.0
Derive macros for OxiDD1 version - Latest release: about 2 months ago - 6 dependent packages - 233 downloads total - 25 stars on GitHub - 1 maintainer
oxidd-core 0.6.0
Core traits and types of the OxiDD decision diagram framework1 version - Latest release: about 2 months ago - 13 dependent packages - 231 downloads total - 25 stars on GitHub - 1 maintainer
oxidd-cache 0.6.0
Apply cache for OxiDD1 version - Latest release: about 2 months ago - 1 dependent package - 219 downloads total - 25 stars on GitHub - 1 maintainer
oxidd 0.6.0
A safe, concurrent, modular, and performant decision diagram framework.2 versions - Latest release: about 2 months ago - 1 dependent package - 521 downloads total - 25 stars on GitHub - 1 maintainer
linear-hashtbl 0.1.0
Linear probing hash table1 version - Latest release: about 2 months ago - 2 dependent packages - 208 downloads total - 25 stars on GitHub - 1 maintainer
hugealloc 0.1.0
Hugepage-aware allocator1 version - Latest release: about 2 months ago - 1 dependent package - 206 downloads total - 25 stars on GitHub - 1 maintainer
arcslab 0.1.0
Slab, but with reference counted items1 version - Latest release: about 2 months ago - 1 dependent package - 210 downloads total - 25 stars on GitHub - 1 maintainer
zdd 0.3.0
A Zero-suppressed BDD library.3 versions - Latest release: about 4 years ago - 2.72 thousand downloads total - 8 stars on GitHub - 1 maintainer
oxidd-cli 0.1.0
Command line interface for OxiDD1 version - Latest release: about 2 months ago - 170 downloads total - 25 stars on GitHub - 1 maintainer