Package Info

ghc-boolsimplifier

install

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

Development Libraries Haskell

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