-- Initial z3-encoding.cabal generated by cabal init.  For further 
-- documentation, see http://haskell.org/cabal/users-guide/

name:                z3-encoding
version:             0.3.0.0
synopsis:            High-level assertion encoding to Z3 solver
description:
  A library targeting at providing high-level, extensible, easy to use Haskell interface to Z3 solver.
license:             MIT
license-file:        LICENSE
author:              Zhen Zhang <izgzhen@gmail.com>
maintainer:          Zhen Zhang <izgzhen@gmail.com>
-- copyright:           
category:            Language
build-type:          Simple
cabal-version:       >=1.10

source-repository head
  type:     git
  location: https://github.com/izgzhen/z3-encoding

library
  exposed-modules:     Z3.Base.Class
                       Z3.Base.Logic
                       Z3.Base.Atom
                       Z3.Datatypes
                       Z3.Context
                       Z3.Z3Pred
  -- other-modules:       
  -- other-extensions: 
  build-depends:       base >=4.9 && <4.10,
                       mtl >=2.2 && <2.3,
                       containers >=0.5 && <0.6,
                       z3 >=4.1.0
  hs-source-dirs:      src
  default-extensions:  FlexibleInstances
                       FlexibleContexts
                       ScopedTypeVariables
                       MultiParamTypeClasses
                       RankNTypes
                       LambdaCase
                       GADTs
  default-language:    Haskell2010
  ghc-options:         -Wall

test-suite z3-encoding-test
  type:                exitcode-stdio-1.0
  other-modules:       Z3.Test
  hs-source-dirs:      test
  main-is:             Spec.hs
  build-depends:       base >=4.9 && <4.10
                     , z3 >=4.1.0
                     , z3-encoding
                     , hspec >= 1.3
                     , containers >=0.5 && <0.6
  ghc-options:         -threaded -rtsopts -with-rtsopts=-N -Wall
--  default-extensions:  StandaloneDeriving
  default-language:    Haskell2010