name: smtlib-backends-process version: 0.3 x-revision: 1 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) which runs 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.3 subdir: smtlib-backends-process library hs-source-dirs: src ghc-options: -Wall -Wunused-packages exposed-modules: SMTLIB.Backends.Process other-extensions: Safe build-depends: base >=4.14 && <4.19 , bytestring >=0.10.12 && <0.12 , process >=1.6 && <1.7 , smtlib-backends >=0.3 && <0.4 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: async , base , bytestring , process , smtlib-backends , smtlib-backends-process , smtlib-backends-tests , tasty , tasty-hunit default-language: Haskell2010