name: smtlib-backends-process
version: 0.2
synopsis: An SMT-LIB backend running solvers as external processes.
description:
This library implements an SMT-LIB backend (in the sense of the smtlib-backends
package) using by running solvers as external processes.
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-process
source-repository this
type: git
location: https://github.com/tweag/smtlib-backends
tag: 0.2
subdir: smtlib-backends-process
library
hs-source-dirs: src
ghc-options: -Wall -Wunused-packages
exposed-modules: SMTLIB.Backends.Process
other-extensions: Safe
build-depends:
async >=2.2.4 && <2.3
, base >=4.14 && <4.17.0
, bytestring >=0.10.12 && <0.11
, data-default >=0.7.1 && <0.8
, smtlib-backends >=0.2 && <0.3
, typed-process >=0.2.10 && <0.3
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
, data-default
, smtlib-backends
, smtlib-backends-process
, smtlib-backends-tests
, tasty
, tasty-hunit
, typed-process
default-language: Haskell2010