simple-smt-1.0.1: simple-smt.cabal

name:                simple-smt
version:             1.0.1
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.8 && <10,
                       process
  default-language:    Haskell2010

executable diff-sexp
  default-language: Haskell2010
  main-is: DiffSEXp.hs
  hs-source-dirs: exe
  build-depends: base, containers, simple-smt, simple-get-opt

test-suite finalizer
  type: exitcode-stdio-1.0
  default-language: Haskell2010
  main-is: Finalizer.hs
  hs-source-dirs: test
  ghc-options: -threaded
  build-depends: base, simple-smt

source-repository head
  type: git
  location: https://github.com/yav/simple-smt