@hackage boolean-normal-forms0.0.1

Boolean normal form: NNF, DNF & CNF

Categories
License
MIT
Maintainer
oleg.grenrus@iki.fi
Links
- Documentation
- No source repository
- Security
Versions
- 0.0.1.1 Wed, 4 Dec 2019
- 0.0.1 Tue, 9 Oct 2018
- 0.0.0.2 Fri, 24 Nov 2017
- 0.0.0.1 Thu, 21 Jan 2016

Installation
In your cabal file:
Tested Compilers
Dependencies (4)
- base >=4.6 && <4.13
- containers >=0.5 && <0.7
- deepseq >=1.1.0.0 && <1.5
- cond >=0.4.1 && <0.5
Dependents (1)
@hackage/acme-everything

The provided types that might be useful in symbolic manipulation of propositional logic expressions.