search

LeventErkok / sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
https://github.com/LeventErkok/sbv
Other
239 stars 33 forks source link

Partition example #671

Closed LeventErkok closed 1 year ago

LeventErkok commented 1 year ago

Turn https://stackoverflow.com/questions/76969256/pyexz3-does-not-find-all-feasible-paths-of-a-program into an example of partition usage