oxidd-core

library0.11.0rscratesunverified

Core traits and types of the OxiDD decision diagram framework.

# Cargo.toml
[dependencies]
oxidd-core = "0.11.0"

INSTALL

IMPORT

SIG · OXIDD-CORE

oxidd-core

utilityrustv0.11.0

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.

✓ use oxidd_core::DD;

Illustrates importing the core DD trait.

use oxidd_core::DD; fn main() { // Placeholder: actual usage depends on a specific diagram type println!("OxiDD core traits available"); }

Debug

Known issues

No known issues recorded.

Upgrade

Version history

0.11.0latest on crates.io

Audit

Dependencies

No dependency data recorded yet.

Agent activity

5 hits · last 30 days

node

Amazon

Resources