# Packages tagged smt

14 packages have this tag.

[Merge tag] (trustees only)Related tags: library (14), formal-methods (11), theorem-provers (11), bsd3 (8), symbolic-computation (7), math (6), gpl (5), bit-vectors (4), algorithms (1), constraints (1), logic (1), mit (1), ...

Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
---|---|---|---|---|---|---|

Hsmtlib | 28 | 0.0 | Haskell library for easy interaction with SMT-LIB 2 compliant solvers. | (bsd3, library, smt) | 2014-07-02 | roger62 |

boolector | 261 | 0.0 | Haskell bindings for the Boolector SMT solver | (bit-vectors, formal-methods, library, math, mit, smt, theorem-provers) | 2020-02-08 | DeianStefan |

hz3 | 22 | 0.0 | Bindings for the Z3 Theorem Prover | (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers) | 2019-10-01 | |

linearEqSolver | 279 | 0.0 | Use SMT solvers to solve linear systems over integers and rationals | (bsd3, library, math, smt) | 2020-05-13 | LeventErkok |

sbv | 1569 | 2.75 | SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. | (bit-vectors, bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers) | 2020-02-09 | LeventErkok |

sbvPlugin | 196 | 0.0 | Formally prove properties of Haskell programs using SBV/SMT | (bsd3, formal-methods, library, math, smt, symbolic-computation, theorem-provers) | 2019-01-15 | LeventErkok |

smtLib | 304 | 0.0 | A library for working with the SMTLIB format. | (bsd3, library, smt) | 2019-01-10 | IavorDiatchki |

smtlib2 | 168 | 2.0 | A type-safe interface to communicate with an SMT solver. | (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers) | 2017-01-05 | HenningGuenther |

smtlib2-debug | 28 | 0.0 | Dump the communication with an SMT solver for debugging purposes. | (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers) | 2017-01-05 | HenningGuenther |

smtlib2-pipe | 39 | 0.0 | A type-safe interface to communicate with an SMT solver. | (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers) | 2017-01-05 | HenningGuenther |

smtlib2-quickcheck | 21 | 0.0 | Helper functions to create SMTLib expressions in QuickCheck | (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers) | 2017-01-06 | HenningGuenther |

smtlib2-timing | 29 | 0.0 | Get timing informations for SMT queries | (formal-methods, gpl, library, smt, symbolic-computation, theorem-provers) | 2017-01-07 | HenningGuenther |

toysolver | 231 | 0.0 | Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc | (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, smt, theorem-provers) | 2019-10-04 | MasahiroSakai |

z3 | 412 | 2.25 | Bindings for the Z3 Theorem Prover | (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers) | 2020-01-16 | IagoAbal |