@hackage / boolsimplifier

Simplification tools for simple propositional formulas.

Latest0.1.8

Dependencies

library:boolsimplifier (2 dependencies)

@hackage / base Core data structures and operations
- Version: <4.6 || >=4.7
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.4
- License: BSD-3-Clause