## 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 |
Maintainer |
---|---|---|---|---|---|

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

linearEqSolver | 5 | 0.0 | Use SMT solvers to solve linear systems over integers and rationals | (bsd3, library, math, smt) | LeventErkok |

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

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

smtLib | 43 | 0.0 | A library for working with the SMTLIB format. | (bsd3, library, smt) | IavorDiatchki |

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

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

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

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

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

z3 | 33 | 2.0 | Bindings for the Z3 Theorem Prover | (bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers) | IagoAbal |