cabal-version:       2.4
Name:                HTab
Version:             1.7.3
Synopsis:            Tableau based theorem prover for hybrid logics
Description:         Tableau based theorem prover for hybrid logics
Homepage:            http://hub.darcs.net/gh/htab
Bug-reports:         http://hub.darcs.net/gh/htab/issues
Category:            Theorem provers
License:             BSD-3-Clause
License-file:        LICENSE
Author:              Guillaume Hoffmann, Carlos Areces, Daniel Gorín, Juan Heguiabehere
Maintainer:          guillaumh@gmail.com
Build-type:          Simple
Extra-source-files:  tests/test-example-formulas.hs
                     tests/coverage.sh
Data-files:  NEWS
             examples/*.sh
             examples/sat/*.frm
             examples/unsat/*.frm
source-repository head
    type:     darcs
    location: http://hub.darcs.net/gh/htab

Executable          htab
  Default-language:    Haskell2010
  Main-is:             htab.hs
  Other-modules:       HTab.Branch
                       HTab.CommandLine
                       HTab.DisjSet
                       HTab.DMap
                       HTab.Formula
                       HTab.Literals
                       HTab.Main
                       HTab.ModelGen
                       HTab.Relations
                       HTab.RuleId
                       HTab.Rules
                       HTab.Statistics
                       HTab.Tableau
  Build-Depends:       base >= 4.10, base < 5,
                       mtl >= 2, mtl < 3,
                       containers,
                       deepseq,
                       strict,
                       random,
                       cmdargs >= 0.10.10,
                       hylolib >= 1.5.1
  Default-extensions:  GADTs
                       DeriveDataTypeable
                       FlexibleContexts
                       Rank2Types
                       ScopedTypeVariables
  Hs-Source-Dirs:      src
  ghc-options:         -O2 -Wall