Module biodivine_lib_bdd::_impl_bdd_satisfying_valuations

(internal) Implementation of the BddValuationsIterator.