cafesat
cafesat copied to clipboard
API to enumerate all solutions
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)