name: smtlib-backends-z3 version: 0.3.1 synopsis: An SMT-LIB backend implemented using Z3's C API. description: This library implements an SMT-LIB backend (in the sense of the smtlib-backends package) using inlined calls to Z3's C API. It is thus in particular faster than the standard backends relying on running solvers as external processes, as the OS doesn't need to spawn processes and handle pipes between them. license: MIT license-file: LICENSE author: Quentin Aristote maintainer: facundo.dominguez@tweag.io, gabriel.hondet@tweag.io, mathieu.montin@tweag.io build-type: Simple category: SMT cabal-version: >=1.10 extra-source-files: CHANGELOG.md source-repository head type: git location: https://github.com/tweag/smtlib-backends subdir: smtlib-backends-z3 source-repository this type: git location: https://github.com/tweag/smtlib-backends tag: 0.3 subdir: smtlib-backends-z3 library hs-source-dirs: src c-sources: cbits/z3.c ghc-options: -Wall -Wunused-packages exposed-modules: SMTLIB.Backends.Z3 build-depends: base >=4.14 && <4.20 , bytestring >=0.10.12 && <0.13 , smtlib-backends >=0.3 && <0.4 -- inspired from haskell-z3 if (os(osx) || os(windows)) extra-libraries: z3 else extra-libraries: gomp z3 gomp default-language: Haskell2010 test-suite test type: exitcode-stdio-1.0 hs-source-dirs: tests main-is: Main.hs other-modules: EdgeCases Examples ghc-options: -threaded -Wall -Wunused-packages build-depends: base , bytestring , smtlib-backends , smtlib-backends-tests , smtlib-backends-z3 , tasty , tasty-hunit default-language: Haskell2010