Nils Husung

(I don’t know if this issue is related to my original problem, though.)

In addition, the loads and stores here (and similarly for `cache_get6()` and `cache_put6()`) need to be atomic operations: https://github.com/trolando/sylvan/blob/0278500f05f44d3129cf2f5e60a2f25c255c0204/src/sylvan_cache.c#L182-L183 https://github.com/trolando/sylvan/blob/0278500f05f44d3129cf2f5e60a2f25c255c0204/src/sylvan_cache.c#L209-L212 [Section 5.1.2.4 of the C23 language specification draft](https://open-std.org/JTC1/SC22/WG14/www/docs/n3054.pdf) states that...

Hi and thank you for the request. If I understand it correctly, the `substitute` method you desire corresponds to BuDDy’s [`bdd_veccompose()`](https://buddy.sourceforge.net/manual/group__operator_gba6a4e2efbfc6daca0b36359e2771b31.html#gba6a4e2efbfc6daca0b36359e2771b31) and CUDD’s [`Cudd_bddVectorCompose()`](https://add-lib.scce.info/assets/doxygen-cudd-documentation/cudd_8h.html#a0bffb3a79510753ee6648a998aaaae97). Such an operation is not implemented...

I tried to use the bdd-benchmark set to compare a new BDD library to existing ones. However, I’m experiencing problems with Adiar: ``` $ build/src/adiar_queens_bdd -N 11 -M 4096 11-Queens...

This does not yet include the updated Python bindings due to open questions regarding typing in a generic setting.

Note that compared to `diff`, `imp_strict` has operands swapped. I’d say this is a weak point of the current API, we should provide `diff` (and all other set operators) as...

Sorry for the long delay. If you have suggestions for a better naming of `pick_cube_symbolic()`/`pick_cube_symbolic_set()`, please comment on that.

There is no simple function for iterating over all cubes of a function yet. Since you mention `ZBDDFunction.pick_cube` (and not the recently added symbolic version), I assume you want the...

> I think @nhusung is the right github handle? If not, I am sorry.^^ If yes, would be nice to record this in your rust-lang Zulip profile so people have...

> I notice that the version of `oxidd` released on crates.rs doesn't appear to include `oxidd::tdd`. Did you enable the `tdd` feature of the `oxidd` crate, e.g., using `oxidd =...