name:    tableaux
version: 0.3

category: Theorem Provers

synopsis: An interactive theorem prover based on semantic tableaux

description:
  This is a simple web-based interactive theorem prover 
  using semantic tableaux for propositional and first-order logic  
  (cf. First-Order Logic, Raymond Smullyan, Dover).
  It allows step-by-step construction of proofs and runs on any
  web server supporting the CGI interface.
  

author:     Pedro Vasconcelos <pbv@dcc.fc.up.pt>
maintainer: Pedro Vasconcelos <pbv@dcc.fc.up.pt>

license:      BSD3
license-file: LICENSE

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

extra-source-files:
  README INSTALL RELEASE-NOTES 

executable tableaux.cgi
  default-language: Haskell2010
  hs-source-dirs:   src
  main-is:          Main.hs
  other-modules:    FOL Unify Tableaux Markup CSS Parser Zipper Examples Util 
  build-depends:
    base       >= 4       && < 5,
    QuickCheck       >= 2.13.2 && < 2.14,
    containers       >= 0.6.2 && < 0.7,
    cgi              >= 3001.5.0 && < 3001.6,
    mtl              >= 2.2.2 && < 2.3,
    parsec           >= 3.1.14 && < 3.2,
    html             >= 1.0.1 && < 1.1