msk-ono / rdd

Decision diagram library for Rust.

msk-ono/rdd Issues

Add new BDD example: TAOCP exercise 43.
Updated 8 months ago
Dump weight of edges in DOT.
Updated 8 months ago
Implement ZDD.
Updated 8 months ago
Convert BDD to a sequence of branch instructions.
Closed 8 months ago
Add new BDD example: P3□P3.
Updated 9 months ago
Construct generating function of BDD.
Updated 9 months ago
Solve linear Boolean programming problem of BDD.
Closed 8 months ago
Profile BDD library.
Updated 8 months ago1