@hackage / Hsmtlib

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

Latest2.8.8.8

About

Metadata

  • Last updated , by roger62
  • License BSD-3-Clause

  • Maintained by: numicola@gmail.com and rogerp062@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

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