Name: propositional-classes
Version: 0.42
License: BSD3
Author: David Fox
Maintainer: SeeReason Partners
Synopsis: Symbolic logic support - a class framework, example instances, implementations
Description: Package to support Propositional Logic. It includes classes
representing the different types of formulas and terms, some instances of
those classes for types used in other logic libraries, and implementations of
several logic algorithms, including conversion to normal form.
Build-Type: Custom
Category: Math
Cabal-version: >= 1.2
Library
GHC-options: -threaded -Wall -Werror -O2
Exposed-Modules: Data.Logic.Logic
Data.Logic.Propositional.Formula
Data.Logic.Propositional.Normal
Data.Logic.Propositional.Instances.Native
Data.Logic.Propositional.Instances.DebianRelations
Data.Logic.Propositional.Instances.PropLogic
Build-Depends: base, debian, happstack-data, pretty, PropLogic, safecopy, set-extra, syb