Name:             ChiouProver
Version:          0.6
License:          BSD3
Author:           Charles Chiou
Maintainer:       SeeReason Partners <partners@seereason.com>
Synopsis:         First order logic theorem prover.
Description:      First order logic theorem prover.
Build-Type:       Custom
Category:         Math
Cabal-version:    >= 1.2

Library
 GHC-options:     -threaded -Wall -Werror -O2
 Build-Depends:   base, mtl
 Exposed-Modules:  Chiou.FirstOrderLogic,
                   Chiou.KnowledgeBase,
                   Chiou.Monad,
                   Chiou.NormalForm,
                   Chiou.Resolution,
                   Chiou.Skolem

Executable tests
 Main-Is: Tests.hs
 Build-Depends:
  HUnit