Package Info

ghc-boolsimplifier


Simplification tools for simple propositional formulas


Development/Libraries/Haskell

Normal form representation for boolean expressions. Typically simplifies such expressions, but is not guaranteed to produce the absolute simplest form.


License: BSD-3-Clause
URL: https://hackage.haskell.org/package/boolsimplifier

Categories

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
0.1.8-bp150.2.4 info GA Release 2018-08-01 15
  • AArch64
  • ghc-boolsimplifier
  • ghc-boolsimplifier-devel
0.1.8-bp150.2.6 info GA Release 2018-07-30 15
  • ppc64le
  • x86-64
  • ghc-boolsimplifier
  • ghc-boolsimplifier-devel