cafesat
cafesat copied to clipboard
Published
20 hours ago •
regb
regb
The CafeSat SMT solver for Scala
Results
1
cafesat issues
Sort by
recently updated
recently updated
newest added
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...
enhancement