Nils Husung comments

Results 4 comments of


                                            Nils Husung

`array_iter_base::advance` Should Take a `ssize_t`

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

Concurrency Correctness (Cache)

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...

Variable Substitution

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...

Resource memory limit exceeded

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...