Packages tagged smt

16 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (16), formal-methods (12), theorem-provers (12), bsd3 (10), symbolic-computation (8), math (6), gpl (5), bit-vectors (4), program (2), algorithms (1), constraints (1), deprecated (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
Hsmtlib70.0Haskell library for easy interaction with SMT-LIB 2 compliant solvers. (bsd3, library, smt)2014-07-02roger62
boolector230.0Haskell bindings for the Boolector SMT solver (bit-vectors, formal-methods, library, math, mit, smt, theorem-provers)2020-08-20DeianStefan
hz3 (deprecated)90.0Bindings for the Z3 Theorem Prover (bit-vectors, bsd3, deprecated, formal-methods, library, math, smt, theorem-provers)2019-10-01
linearEqSolver50.0Use SMT solvers to solve linear systems over integers and rationals (bsd3, library, math, smt)2020-05-13LeventErkok
sbv25732.75SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2021-03-30LeventErkok
sbvPlugin1630.0Formally prove properties of Haskell programs using SBV/SMT (bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers)2021-03-22LeventErkok
smt2-parser20.0A Haskell parser for SMT-LIB version 2.6 (bsd3, formal-languages, language, library, smt)2020-12-02liuyuxi
smtLib200.0A library for working with the SMTLIB format. (bsd3, library, smt)2019-01-10IavorDiatchki
smtlib222.0A type-safe interface to communicate with an SMT solver. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-05HenningGuenther
smtlib2-debug10.0Dump the communication with an SMT solver for debugging purposes. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-05HenningGuenther
smtlib2-pipe30.0A type-safe interface to communicate with an SMT solver. (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-05HenningGuenther
smtlib2-quickcheck10.0Helper functions to create SMTLib expressions in QuickCheck (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-06HenningGuenther
smtlib2-timing40.0Get timing informations for SMT queries (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers)2017-01-07HenningGuenther
toysolver2660.0Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, smt, theorem-provers)2021-02-10MasahiroSakai
what41282.25Solver-agnostic symbolic values support for issuing queries (bsd3, formal-methods, library, program, smt, symbolic-computation, theorem-provers)2021-02-09RobertDockins
z3132.25Bindings for the Z3 Theorem Prover (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers)2020-08-29IagoAbal