Would it be possible to provide an fdd_allsat, which enumerates all fdd-integer vectors in a given BDD? I don't see an efficient way to implement this efficiently through the current interface.
Log in to post a comment.