@hackage rme0.1

Reed-Muller Expansion normal form for Boolean Formulas

Categories
License
BSD-3-Clause
Maintainer
huffman@galois.com
Links
Versions
- 0.1 Tue, 26 Aug 2025

Installation
In your cabal file:
Dependencies (3)
- base >=4 && <5
- containers
- vector
Dependents (1)
@hackage/rme-what4

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