name:                g4ip
version:             0.1.0.0
category:            Logic
synopsis:            A theorem prover for propositional logic that uses G4ip
homepage:            https://github.com/cacay/G4ip

license:             MIT
license-file:        LICENSE

author:              Josh Acay
maintainer:          coskuacay@gmail.com

build-type:          Simple
cabal-version:       >=1.10

extra-source-files:  README.md


library

  default-language:     Haskell98

  exposed-modules:      G4ip.Decider
                        G4ip.Proposition

  build-depends:        base >= 4.6 && < 4.7


test-suite test-g4ip

  default-language:     Haskell98

  type:                 exitcode-stdio-1.0
  main-is:              G4ip/TestMain.hs

  build-depends:        base >= 4.6 && < 4.7,
                        g4ip

  other-modules:        G4ip.Tester