GenZ-0.1.0.0: GenZ.cabal

cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.39.1.
--
-- see: https://github.com/sol/hpack

name:           GenZ
version:        0.1.0.0
synopsis:       Generic Sequent Calculus Prover using the Zipper
description:    See README.md for example usage and documentation.
category:       Logic
homepage:       https://github.com/XiaoshuangYang999/GenZ#readme
bug-reports:    https://github.com/XiaoshuangYang999/GenZ/issues
maintainer:     Xiaoshuang Yang <thuyxs17@gmail.com>
license:        GPL-3
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md
    LICENSE
    stack.yaml
    package.yaml
    lib/FormM/Parse.y
    lib/FormP/Parse.y
    lib/General/Lex.x
    exec/index.html

source-repository head
  type: git
  location: https://github.com/XiaoshuangYang999/GenZ

library
  exposed-modules:
      Basics
      FormM
      FormM.Parse
      FormP
      FormP.Parse
      FormP.ParseTPTP
      General
      General.Lex
      General.Token
      Logic.Modal.D
      Logic.Modal.D4
      Logic.Modal.D45
      Logic.Modal.GL
      Logic.Modal.K
      Logic.Modal.K4
      Logic.Modal.K45
      Logic.Modal.S4
      Logic.Modal.T
      Logic.Propositional.CPL
      Logic.Propositional.IPL
  other-modules:
      Paths_GenZ
  hs-source-dirs:
      lib
  ghc-options: -Wall
  build-tools:
      alex
    , happy
  build-depends:
      QuickCheck >=2.4.3 && <2.19
    , array >=0.5.4 && <0.6
    , base >=4.8 && <5
    , bytestring >=0.11.5 && <0.12
    , containers >=0.6.7 && <0.7
    , directory >=1.3.7 && <1.4
    , filepath >=1.4.2 && <1.5
    , graphviz >=2999.20.2 && <2999.21
    , hspec >=2.10.10 && <2.12
    , multiset >=0.3.4 && <0.4
    , process >=1.6.18 && <1.7
    , random >=1.2.1 && <1.4
    , tagged >=0.8.7 && <0.9
    , temporary ==1.3.*
  default-language: Haskell2010

executable form-size
  main-is: form-size.hs
  other-modules:
      Paths_GenZ
  hs-source-dirs:
      exec
  ghc-options: -Wall -Wall -threaded
  build-tools:
      alex
    , happy
  build-depends:
      GenZ
    , QuickCheck >=2.4.3 && <2.19
    , array >=0.5.4 && <0.6
    , base >=4.8 && <5
    , bytestring >=0.11.5 && <0.12
    , containers >=0.6.7 && <0.7
    , directory >=1.3.7 && <1.4
    , filepath >=1.4.2 && <1.5
    , graphviz >=2999.20.2 && <2999.21
    , hspec >=2.10.10 && <2.12
    , multiset >=0.3.4 && <0.4
    , process >=1.6.18 && <1.7
    , random >=1.2.1 && <1.4
    , tagged >=0.8.7 && <0.9
    , temporary ==1.3.*
  default-language: Haskell2010

executable genz
  main-is: genz.hs
  other-modules:
      Paths_GenZ
  hs-source-dirs:
      exec
  ghc-options: -Wall -Wall -threaded
  build-tools:
      alex
    , happy
  build-depends:
      GenZ
    , QuickCheck >=2.4.3 && <2.19
    , array >=0.5.4 && <0.6
    , base >=4.8 && <5
    , bytestring >=0.11.5 && <0.12
    , containers >=0.6.7 && <0.7
    , directory >=1.3.7 && <1.4
    , filepath >=1.4.2 && <1.5
    , graphviz >=2999.20.2 && <2999.21
    , hspec >=2.10.10 && <2.12
    , multiset >=0.3.4 && <0.4
    , optparse-applicative >=0.17.1 && <0.18
    , process >=1.6.18 && <1.7
    , random >=1.2.1 && <1.4
    , tagged >=0.8.7 && <0.9
    , temporary ==1.3.*
  default-language: Haskell2010

executable genz-web
  main-is: genz-web.hs
  other-modules:
      Paths_GenZ
  hs-source-dirs:
      exec
  ghc-options: -Wall -Wall -threaded
  build-tools:
      alex
    , happy
  build-depends:
      GenZ
    , QuickCheck >=2.4.3 && <2.19
    , array >=0.5.4 && <0.6
    , base >=4.8 && <5
    , bytestring >=0.11.5 && <0.12
    , containers >=0.6.7 && <0.7
    , directory >=1.3.7 && <1.4
    , file-embed >=0.0.15 && <0.1
    , filepath >=1.4.2 && <1.5
    , graphviz >=2999.20.2 && <2999.21
    , hspec >=2.10.10 && <2.12
    , js-jquery >=3.3.1 && <4
    , multiset >=0.3.4 && <0.4
    , process >=1.6.18 && <1.7
    , random >=1.2.1 && <1.4
    , scotty ==0.12.*
    , tagged >=0.8.7 && <0.9
    , template-haskell >=2.19.0 && <2.21
    , temporary ==1.3.*
    , text >=2.0.2 && <2.1
    , warp >=3.3.25 && <3.5
  default-language: Haskell2010

executable tptp-size
  main-is: tptp-size.hs
  other-modules:
      Paths_GenZ
  hs-source-dirs:
      exec
  ghc-options: -Wall -Wall -threaded
  build-tools:
      alex
    , happy
  build-depends:
      GenZ
    , QuickCheck >=2.4.3 && <2.19
    , array >=0.5.4 && <0.6
    , base >=4.8 && <5
    , bytestring >=0.11.5 && <0.12
    , containers >=0.6.7 && <0.7
    , directory >=1.3.7 && <1.4
    , filepath >=1.4.2 && <1.5
    , graphviz >=2999.20.2 && <2999.21
    , hspec >=2.10.10 && <2.12
    , multiset >=0.3.4 && <0.4
    , process >=1.6.18 && <1.7
    , random >=1.2.1 && <1.4
    , tagged >=0.8.7 && <0.9
    , temporary ==1.3.*
  default-language: Haskell2010

test-suite Test
  type: exitcode-stdio-1.0
  main-is: Test.hs
  other-modules:
      Paths_GenZ
  hs-source-dirs:
      test
  ghc-options: -Wall -Wall -threaded -rtsopts -with-rtsopts=-N
  build-tools:
      alex
    , happy
  build-depends:
      GenZ
    , QuickCheck >=2.14.3 && <2.15
    , array >=0.5.4 && <0.6
    , base >=4.8 && <5
    , bytestring >=0.11.5 && <0.12
    , containers >=0.6.7 && <0.7
    , directory >=1.3.7 && <1.4
    , filepath >=1.4.2 && <1.5
    , graphviz >=2999.20.2 && <2999.21
    , hspec
    , multiset >=0.3.4 && <0.4
    , process >=1.6.18 && <1.7
    , random >=1.2.1 && <1.4
    , tagged >=0.8.7 && <0.9
    , temporary ==1.3.*
  default-language: Haskell2010

benchmark memory
  type: exitcode-stdio-1.0
  main-is: memory.hs
  other-modules:
      Paths_GenZ
  hs-source-dirs:
      bench
  ghc-options: -Wall -rtsopts
  build-tools:
      alex
    , happy
  build-depends:
      GenZ
    , QuickCheck >=2.4.3 && <2.19
    , array >=0.5.4 && <0.6
    , base >=4.8 && <5
    , bytestring >=0.11.5 && <0.12
    , containers >=0.6.7 && <0.7
    , directory >=1.3.7 && <1.4
    , filepath >=1.4.2 && <1.5
    , graphviz >=2999.20.2 && <2999.21
    , hspec >=2.10.10 && <2.12
    , multiset >=0.3.4 && <0.4
    , process >=1.6.18 && <1.7
    , random >=1.2.1 && <1.4
    , tagged >=0.8.7 && <0.9
    , temporary ==1.3.*
    , weigh
  default-language: Haskell2010

benchmark runtime
  type: exitcode-stdio-1.0
  main-is: runtime.hs
  other-modules:
      Paths_GenZ
  hs-source-dirs:
      bench
  ghc-options: -Wall
  build-tools:
      alex
    , happy
  build-depends:
      GenZ
    , QuickCheck >=2.4.3 && <2.19
    , array >=0.5.4 && <0.6
    , base >=4.8 && <5
    , bytestring
    , cassava
    , containers >=0.6.7 && <0.7
    , criterion
    , directory
    , filepath >=1.4.2 && <1.5
    , graphviz >=2999.20.2 && <2999.21
    , hspec >=2.10.10 && <2.12
    , multiset >=0.3.4 && <0.4
    , process >=1.6.18 && <1.7
    , random >=1.2.1 && <1.4
    , scientific
    , split
    , tagged >=0.8.7 && <0.9
    , temporary ==1.3.*
    , vector
  default-language: Haskell2010