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.
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.