search

msk-ono / rdd

Decision diagram library for Rust.
MIT License
0 stars 0 forks source link

Profile BDD library. #1

Open msk-ono opened 11 months ago

msk-ono commented 11 months ago

BDD is really slow.

Use some profiling tool and find bottlenecks.

msk-ono commented 11 months ago

I think the problem is that the BDD operation is implemented in a foolish recurrence.

https://github.com/msk-ono/rdd/blob/a63996538123810c7eaceddea55bd7402b3e5ed6/src/bdd.rs#L365