name: simple-smt version: 0.5.0 synopsis: A simple way to interact with an SMT solver process. description: A simple way to interact with an SMT solver process. license: BSD3 license-file: LICENSE author: Iavor S. Diatchki maintainer: iavor.diatchki@gmail.com category: Math build-type: Simple cabal-version: >=1.10 extra-source-files: CHANGES library exposed-modules: SimpleSMT other-extensions: Safe, RecordWildCards build-depends: base >=4.7 && <10, process default-language: Haskell2010 source-repository head type: git location: https://github.com/yav/simple-smt