cafesat icon indicating copy to clipboard operation
cafesat copied to clipboard

Published 20 hours ago • verified publisher icon regb

API to enumerate all solutions

Open regb opened this issue 7 years ago • 0 comments

Would be nice to have an API that return a lazy seq (iterator/stream) of all solutions to a formula. We should be able to implement something efficient with interfacing directly with the solver api (addClause with incremental search)

regb avatar Dec 08 '16 13:12 regb