crates.io "zdd" keyword
View the packages on the crates.io package registry that are tagged with the "zdd" keyword.
xdd 0.1.0
Decision diagrams including BDD, ZDD, MBDD, πDD and more for combinatorics.1 version - Latest release: about 2 years ago - 1.47 thousand downloads total - 8 stars on GitHub - 1 maintainer
oxidd-parser 0.4.1
Parsers for logic file formats7 versions - Latest release: 4 months ago - 1 dependent package - 6.26 thousand downloads total - 63 stars on GitHub - 1 maintainer
linear-hashtbl 0.1.2
Linear probing hash table3 versions - Latest release: 4 months ago - 2 dependent packages - 6.06 thousand downloads total - 63 stars on GitHub - 1 maintainer
oxidd-core 0.10.0
Core traits and types of the OxiDD decision diagram framework5 versions - Latest release: 5 months ago - 13 dependent packages - 9.05 thousand downloads total - 63 stars on GitHub - 1 maintainer
oxidd-derive 0.10.0
Derive macros for OxiDD5 versions - Latest release: 5 months ago - 6 dependent packages - 8.15 thousand downloads total - 63 stars on GitHub - 1 maintainer
oxidd-manager-index 0.10.0
Index-based manager implementation for OxiDD5 versions - Latest release: 5 months ago - 1 dependent package - 7.45 thousand downloads total - 63 stars on GitHub - 1 maintainer
oxidd-cache 0.10.0
Apply cache for OxiDD5 versions - Latest release: 5 months ago - 1 dependent package - 7.46 thousand downloads total - 63 stars on GitHub - 1 maintainer
oxidd-test-utils 0.5.0
Test utilities for OxiDD5 versions - Latest release: 5 months ago - 3 dependent packages - 4.49 thousand downloads total - 63 stars on GitHub - 1 maintainer
oxidd-rules-zbdd 0.10.0
Zero-suppressed decision diagrams (ZBDDs) for OxiDD5 versions - Latest release: 5 months ago - 1 dependent package - 7.58 thousand downloads total - 63 stars on GitHub - 1 maintainer
oxidd-cli 0.3.0
Command line interface for OxiDD7 versions - Latest release: 5 months ago - 6.09 thousand downloads total - 63 stars on GitHub - 1 maintainer
oxidd-rules-bdd 0.10.0
Binary decision diagrams (BDDs) for OxiDD5 versions - Latest release: 5 months ago - 1 dependent package - 7.51 thousand downloads total - 63 stars on GitHub - 1 maintainer
hugealloc 0.1.1
Hugepage-aware allocator2 versions - Latest release: 8 months ago - 1 dependent package - 5.75 thousand downloads total - 63 stars on GitHub - 1 maintainer
oxidd-dump 0.5.0
Dump OxiDD decision diagrams to file5 versions - Latest release: 5 months ago - 6 dependent packages - 8.11 thousand downloads total - 63 stars on GitHub - 1 maintainer
oxidd 0.10.0
A safe, concurrent, modular, and performant decision diagram framework.6 versions - Latest release: 5 months ago - 1 dependent package - 8.43 thousand downloads total - 63 stars on GitHub - 1 maintainer
oxidd-rules-tdd 0.5.0
Ternary decision diagrams (TDDs) for OxiDD5 versions - Latest release: 5 months ago - 1 dependent package - 7.45 thousand downloads total - 63 stars on GitHub - 1 maintainer
oxidd-manager-pointer 0.5.0
Pointer-based manager implementation for OxiDD5 versions - Latest release: 5 months ago - 1 dependent package - 4.56 thousand downloads total - 63 stars on GitHub - 1 maintainer
oxidd-rules-mtbdd 0.5.0
Multi-terminal decision diagrams (MTBDDs) for OxiDD5 versions - Latest release: 5 months ago - 1 dependent package - 7.55 thousand downloads total - 63 stars on GitHub - 1 maintainer
arcslab 0.1.1
Slab, but with reference counted items2 versions - Latest release: 8 months ago - 1 dependent package - 2.69 thousand downloads total - 63 stars on GitHub - 1 maintainer
oxidd-reorder 0.5.0
Reordering algorithms for OxiDD5 versions - Latest release: 5 months ago - 2 dependent packages - 7.51 thousand downloads total - 63 stars on GitHub - 1 maintainer
zdd 0.3.0
A Zero-suppressed BDD library.3 versions - Latest release: about 5 years ago - 5.32 thousand downloads total - 8 stars on GitHub - 1 maintainer