name:                boolean-normal-forms
version:             0.0.0.2
synopsis:            Boolean normal form: NNF, DNF & CNF
description:         The provided types that might be useful in symbolic manipulation of propositional logic expressions.
license:             MIT
license-file:        LICENSE
author:              Oleg Grenrus
maintainer:          oleg.grenrus@iki.fi
copyright:           © Oleg Grenrus 2014
category:            Data
build-type:          Simple
cabal-version:       >=1.18
extra-source-files:  README.md
extra-doc-files:      doc-formulae/*.svg
tested-with:
  GHC==7.6.3,
  GHC==7.8.4,
  GHC==7.10.3,
  GHC==8.0.2,
  GHC==8.2.2

source-repository head
  type: git
  location: https://github.com/phadej/boolean-normal-forms.git

library
  hs-source-dirs:      src
  exposed-modules:     Data.Algebra.Boolean.NormalForm,
                       Data.Algebra.Boolean.FreeBoolean,
                       Data.Algebra.Boolean.NNF,
                       Data.Algebra.Boolean.DNF,
                       Data.Algebra.Boolean.CNF,
                       Data.Algebra.Boolean.Negable,
                       Data.Algebra.Boolean.CoBoolean,
                       Data.Algebra.Boolean.NNF.Set,
                       Data.Algebra.Boolean.NNF.Tree,
                       Data.Algebra.Boolean.DNF.List,
                       Data.Algebra.Boolean.DNF.Set,
                       Data.Algebra.Boolean.CNF.List,
                       Data.Algebra.Boolean.CNF.Set
  other-extensions:    DeriveFunctor,
                       DeriveDataTypeable,
                       ConstraintKinds,
                       TypeFamilies,
                       ScopedTypeVariables
  build-depends:       base        >=4.6   && <4.11,
                       containers  >=0.5   && <0.6,
                       cond        >=0.4.1 && <0.5
  default-language:    Haskell2010
  ghc-options:         -Wall

test-suite test
  default-language:    Haskell2010
  type:                exitcode-stdio-1.0
  hs-source-dirs:      tests
  main-is:             Main.hs
  other-modules:       BooleanLaws,
                       BooleanModelLaws,
                       CNFList,
                       CNFSet,
                       DNFList,
                       DNFSet,
                       FreeBoolean,
                       FreeBooleanTests,
                       NegableLaws,
                       NNFSet,
                       NNFTree,
                       SimplifyLaws
  ghc-options:         -Wall -fno-warn-orphans
  build-depends:       base,
                       containers,
                       cond,
                       tasty                >=0.8,
                       tasty-quickcheck     >=0.8.0.3,
                       QuickCheck           >=2.10 && <2.11,
                       boolean-normal-forms