Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "zbdd" keyword
oxidd-test-utils 0.1.0
Test utilities for OxiDD1 version - Latest release: about 1 month 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 1 month 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 1 month 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 1 month 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 1 month 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 1 month 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 1 month 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 1 month 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 1 month 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 1 month 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 1 month 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 1 month 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 1 month 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 1 month 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 1 month ago - 2 dependent packages - 208 downloads total - 25 stars on GitHub - 1 maintainer
hugealloc 0.1.0
Hugepage-aware allocator1 version - Latest release: about 1 month 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 1 month ago - 1 dependent package - 210 downloads total - 25 stars on GitHub - 1 maintainer
oxidd-cli 0.1.0
Command line interface for OxiDD1 version - Latest release: about 1 month ago - 170 downloads total - 25 stars on GitHub - 1 maintainer