@hackage Hsmtlib2.8.8.8

Haskell library for easy interaction with SMT-LIB 2 compliant solvers.

  • Categories

    • License

      BSD-3-Clause

    • Maintainer

      numicola@gmail.com and rogerp062@gmail.com

    • Links

    • Versions

    Hsmtl provides functions to interact with several smt solvers using SMT-LIB 2. The current suported solvers are Cvc4, MathSat, Z3. Additional solvers can be used if they are SMT-LIB 2 compliant. More information and tutorials can be found in https://github.com/MfesGA/Hsmtlib