boolsimplifier
Simplification tools for simple propositional formulas.
LTS Haskell 22.33: | 0.1.8@rev:1 |
Stackage Nightly 2024-09-07: | 0.1.8@rev:1 |
Latest on Hackage: | 0.1.8@rev:1 |
Maintained by [email protected]
This version can be pinned in stack with:
boolsimplifier-0.1.8@sha256:d05220c8f3aaeb0c5f6f92cd6c3d869b7f5253b66cdb6d5d392b9198ec061577,1400
Module documentation for 0.1.8
Depends on 2 packages(full list with versions):