Registry / utility / biodivine-lib-bdd

biodivine-lib-bdd

library0.6.3rscratesunverified

A simple thread-safe implementation of basic binary decision diagrams.

# Cargo.toml
[dependencies]
biodivine-lib-bdd = "0.6.3"

INSTALL

IMPORT

SIG · BIODIVINE-LIB-BDD

biodivine-lib-bdd

utilityrustv0.6.3

harness data pending

Install & Compatibility

Where this runs

No compatibility data collected yet for this library.

Code

Verified usage

Verified import paths — ran on the pinned version, not inferred.

BDD

✓ use biodivine_lib_bdd::BDD;

Create a new BDD instance.

use biodivine_lib_bdd::BDD; fn main() { let bdd = BDD::new(); }

Debug

Known issues

No known issues recorded.

Upgrade

Version history

0.6.3latest on crates.io

Audit

Dependencies

No dependency data recorded yet.

Agent activity

12 hits · last 30 days

node

Resources