@hackage / boolsimplifier

Simplification tools for simple propositional formulas.

Latest0.1.8

About

Metadata

  • Last updated , by HerbertValerioRiedel
  • License BSD-3-Clause
  • Categories Mathematics

  • Maintained by: gershomb@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

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