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