Add `pick_cube_symbolic()` and `pick_cube_symbolic_set()`

OxiDD / oxidd

Concurrent decision diagram framework written in Rust

https://oxidd.net

Apache License 2.0

32 stars 5 forks source link

Closed nhusung closed 1 month ago

nhusung commented 1 month ago

Closes #16

I’m not entirely sure about the function names. But maybe we merge this PR now and rename them for the next release, if desired?