Random witness sampling
Opened this issue · 0 comments
daemontus commented
At the moment, we can sample random BDD valuations from lib-bdd, but the SymbolicAsyncGraph::get_witness still does not have a randomized alternative. Implement this method.