Bit Vectors packages
Showing projects tagged as SMT, Math, Theorem Provers, and Bit Vectors
-
sbv
9.6 9.2 HaskellSMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Showing projects tagged as SMT, Math, Theorem Provers, and Bit Vectors