rme-0.1.1: Reed-Muller Expansion normal form for Boolean Formulas
CopyrightGalois Inc. 2016
LicenseBSD3
Maintainerhuffman@galois.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Data.RME

Description

Reed-Muller Expansion normal form for Boolean Formulas.

Documentation

module Data.RME.Base

module Data.RME.Vector