name:                   judge
version:                0.1.3.0
synopsis:               Tableau-based theorem prover for justification logic.
description:            An implementation of a decision procedure for classical 
                        propositional logic and justification logic.
homepage:               https://github.com/slakkenhuis/judge#readme
license:                GPL-3
license-file:           LICENSE
author:                 ns@slak.ws
maintainer:             ns@slak.ws
category:               Logic
build-type:             Simple
extra-source-files:     README.md
                      , CHANGELOG.md
                      , formulas.txt
data-files:             logic/J0.yml
                      , logic/LP.yml
                      , logic/J0-PB.yml
                      , logic/example.yml
cabal-version:          >=1.10

library
    hs-source-dirs:     src
    exposed-modules:    Logic.Judge.PointedList
                      , Logic.Judge.Formula
                      , Logic.Judge.Formula.Datastructure
                      , Logic.Judge.Formula.Parser
                      , Logic.Judge.Formula.Substitution
                      , Logic.Judge.Prover.Yaml  
                      , Logic.Judge.Prover.Tableau
                      , Logic.Judge.Prover.Tableau.Analytics
                      , Logic.Judge.Writer
                      , Logic.Judge.Writer.Plain
                      , Logic.Judge.Writer.LaTeX
    build-depends:      base >=4.7 && <5
                      , text ==1.2.2.2
                      , bytestring >=0.10.8.1 && <0.10.8.3
                      , containers >= 0.5.7.1 && <0.5.10.3
                      , unordered-containers ==0.2.8.0
                      , vector >=0.11.0.0 && <0.12.0.2
                      , attoparsec >=0.13.1.0 && <0.13.3.0
                      , aeson >= 0.11.3.0 && <1.2.3.1
                      , yaml >=0.8.23 && <0.8.26
                      , pointedlist ==0.6.1
                      , transformers ==0.5.2.0
                      , mtl ==2.2.1
                      , ansi-wl-pprint >=0.6.7.3 && <0.6.8.1
                      , terminal-size ==0.3.2.1
                      , utf8-string ==1.0.1.1
                      , texmath >=0.10.1 && <0.11.0
    default-language:   Haskell2010


executable judge
    hs-source-dirs:     app
    main-is:            Main.hs
    other-modules:      CLI
                      , Paths_judge
    build-depends:      base
                      , judge
                      , directory >=1.3.0.0 && <1.3.2.0
                      , filepath >=1.4.1.1 && <1.4.2.0
                      , text ==1.2.2.2
                      , yaml >=0.8.23 && <=0.8.26
                      , attoparsec >=0.13.1.0 && <0.13.3.0
                      , ansi-wl-pprint >=0.6.7.3 && <0.6.8.1
                      , optparse-applicative >=0.12.1.0 && <0.14.0.0
                      , unordered-containers ==0.2.8.0
    ghc-options:        -threaded -rtsopts -with-rtsopts=-N
    default-language:   Haskell2010


source-repository head
    type:               git
    location:           https://github.com/slakkenhuis/judge