@hackage rme0.1.2
Reed-Muller Expansion normal form for Boolean Formulas
Categories
License
BSD-3-Clause
Maintainer
huffman@galois.com
Links
Versions
Installation
Dependencies (3)
- base >=4 && <5
- containers
- vector Show all…
Dependents (1)
@hackage/rme-what4
A representation of the Algebraic Normal Form of boolean formulas using the Reed-Muller Expansion.