SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
239
stars
33
forks
source link
Revert "Fix the zombie solver processes mentioned in #477" #693
Closed
LeventErkok closed 3 months ago
Reverts LeventErkok/sbv#691