Packages tagged smt

11 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (11), formal-methods (8), theorem-provers (8), symbolic-computation (7), bsd3 (6), gpl (5), math (4), bit-vectors (2)

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
Hsmtlib60.0Haskell library for easy interaction with SMT-LIB 2 compliant solvers. (bsd3, library, smt)2014-07-02roger62
linearEqSolver110.0Use SMT solvers to solve linear systems over integers and rationals (bsd3, library, math, smt)2017-10-26LeventErkok
sbv2382.75SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2018-05-18LeventErkok
sbvPlugin300.0Formally prove properties of Haskell programs using SBV/SMT (bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2017-07-29LeventErkok
smtLib540.0A library for working with the SMTLIB format. (bsd3, library, smt)2018-04-30IavorDiatchki
smtlib2172.0A type-safe interface to communicate with an SMT solver. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-05HenningGuenther
smtlib2-debug70.0Dump the communication with an SMT solver for debugging purposes. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-05HenningGuenther
smtlib2-pipe90.0A type-safe interface to communicate with an SMT solver. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-05HenningGuenther
smtlib2-quickcheck60.0Helper functions to create SMTLib expressions in QuickCheck (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-06HenningGuenther
smtlib2-timing60.0Get timing informations for SMT queries (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-07HenningGuenther
z3912.0Bindings for the Z3 Theorem Prover (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers)2018-05-13IagoAbal