@hackage / rme

Reed-Muller Expansion normal form for Boolean Formulas

Latest0.1.2

About

Metadata

  • Last updated , by aschwerdfeger_galois
  • License BSD-3-Clause
  • Maintained by: huffman@galois.com

  • Lottery factor: 4

Links

Installation

Readme

A representation of the Algebraic Normal Form of boolean formulas using the Reed-Muller Expansion.