-- Initial Proper.cabal generated by cabal init.  For further 
-- documentation, see http://haskell.org/cabal/users-guide/

name:                Proper
version:             0.4.1.0
synopsis:	     An implementation of propositional logic in Haskell            
description:         Proper is both an executable theorem prover for Propositional logic
		     and a library for incorporating propositional logic into other Haskell
		     programs. See the github repo for examples of theorem files for the
		     executable.

license:  	     BSD3           
license-file:        LICENSE
author:		     Dillon Huff              
maintainer:	     Dillon Huff
homepage:	     https://github.com/dillonhuff/Proper
-- copyright:           
-- category:            
build-type:          Simple
cabal-version:       >=1.8

library
  hs-source-dirs:	src
  build-depends:	base==4.5.*, containers
  exposed-modules:	Proper.Sentence, Proper.CNF, Proper.Clause, Proper.BDD

executable Proper
  main-is:             Main.hs
  -- other-modules:       
  build-depends:       base ==4.5.*, containers, parsec
  hs-source-dirs:      src

executable Proper-tests
  main-is:             Main.hs
  -- other-modules:       
  build-depends:       base ==4.5.*, HUnit, containers, parsec
  hs-source-dirs:      test, src