PropLogic-0.9.0.3: PropLogic.cabal

Name:           PropLogic
Version:        0.9.0.3
Cabal-Version:  >= 1.9
Build-type:     Simple
License:        BSD3
-- License:        PublicDomain
-- License-file:   LICENSE.txt
Author:         bucephalus
Maintainer:     b@bucephalus.org
Stability:      experimental
Homepage:       http://www.bucephalus.org/PropLogic
Bug-reports:    http://www-bucephalus-org.blogspot.com/2010/02/proplogic.html
-- Package-url:    http://www.bucephalus.org/....
Category:       Logic, Algorithms
Synopsis:       Propositional Logic
Description:    A system for propositional logic with default and fast instances of propositional algebras.

Library
  exposed-modules:
    PropLogic, Olist, PropLogicCore, DefaultPropLogic, FastPropLogic, PropLogicTest, TextDisplay, Costack
  build-depends:
    base < 5, old-time, random
  extensions:
    TypeSynonymInstances, FlexibleInstances, MultiParamTypeClasses

Executable program
  Main-Is: Main.hs

source-repository head
  type:     darcs
  location: http://src.seereason.com/darcs/PropLogic