@hackage / rme

Reed-Muller Expansion normal form for Boolean Formulas

Latest0.1.2

Dependencies

library:rme (3 dependencies)

@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / vector Efficient Arrays
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause