simple-smt-0.9.9: simple-smt.cabal

name:                simple-smt
version:             0.9.9
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

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