Name:             harrison
Version:          0.1
License:          AllRightsReserved
Copyright:        (c) 2003-2007, John  Harrison, 2010-2011, SeeReason Partners LLC
Author:           John Harrison, David Fox
Maintainer:       David Fox <dsf@seereason.com>
Synopsis:         Code from Handbook of Practical Logic and Automated Reasoning
Description:      Translation and generalization of the code included with John Harrison's
                  book "Handbook of Practical Logic and Automated Reasoning".
Build-Type:       Simple
Category:         Logic
Cabal-version:    >= 1.2

Library
 Build-Depends:   applicative-extras, base >= 4, containers, HUnit, pretty, syb
 Exposed-Modules: Data.Logic.Classes.Arity
                  Data.Logic.Classes.Atom
                  Data.Logic.Classes.Combine
                  Data.Logic.Classes.Constants
                  Data.Logic.Classes.Equals
                  Data.Logic.Classes.FirstOrder
                  Data.Logic.Classes.Literal
                  Data.Logic.Classes.Negate
                  Data.Logic.Classes.Propositional
                  Data.Logic.Classes.Term
                  Data.Logic.Classes.Variable
                  Data.Logic.Harrison.Equal
                  Data.Logic.Harrison.FOL
                  Data.Logic.Harrison.Formulas.Propositional
                  Data.Logic.Harrison.Formulas.FirstOrder
                  Data.Logic.Harrison.Lib
                  Data.Logic.Harrison.Meson
                  Data.Logic.Harrison.Prolog
                  Data.Logic.Harrison.Prop
                  Data.Logic.Harrison.Resolution
                  Data.Logic.Harrison.Skolem
                  Data.Logic.Harrison.Tableaux
                  Data.Logic.Harrison.Unif
                  Data.Logic.Tests.Equal
                  Data.Logic.Tests.FOL
                  Data.Logic.Tests.Meson
                  Data.Logic.Tests.Prop
                  Data.Logic.Tests.Resolution
                  Data.Logic.Tests.Skolem
                  Data.Logic.Tests.Unif
                  Data.Logic.Types.Equal
                  Data.Logic.Types.FOL
                  Data.Logic.Types.Formulas.FirstOrder
                  Data.Logic.Types.Formulas.Propositional
                  Data.Logic.Types.Prop

Executable tests
 Main-Is: Data/Logic/Tests/Tests.hs
 GHC-Options: -rtsopts