name:               smtlib-backends-z3
version:            0.2
x-revision: 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:         quentin.aristote@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.2
  subdir:   smtlib-backends-z3

library
  hs-source-dirs:   src
  ghc-options:      -Wall -Wunused-packages
  exposed-modules:  SMTLIB.Backends.Z3
  build-depends:
      base             >=4.14    && <4.17.0
    , bytestring       >=0.10.12 && <0.12
    , containers       >=0.6.4   && <0.7
    , inline-c         >=0.9.1   && <0.10
    , smtlib-backends  >=0.2     && <0.3

  -- 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:    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