Name: boolsimplifier
Version: 0.1
Synopsis: Normal form representation for boolean expressions. Typically simplifies such expressions, but is not guaranteed to produce the absolute simplest form.
-- A longer description of the package.
-- Description:
License: BSD3
License-file: LICENSE
Author: Gershom Bazerman, Jeff Polakow
Maintainer: gershomb@gmail.com
-- A copyright notice.
-- Copyright:
Category: Math, Language
Build-type: Simple
-- Constraint on the version of Cabal needed to build this package.
Cabal-version: >=1.2
Library
-- Modules exported by the library.
Exposed-modules: Data.BoolSimplifier
-- Packages needed in order to build this package.
Build-depends: base >= 4, base < 7, containers >= 0.4
ghc-options: -Wall
-- Modules not exported by this package.
-- Other-modules:
-- Extra tools (e.g. alex, hsc2hs, ...) needed to build the source.
-- Build-tools: