@hackage boolean-normal-forms0.0.0.2

Boolean normal form: NNF, DNF & CNF

Categories
License
MIT
Maintainer
oleg.grenrus@iki.fi
Links
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 (3)
- base >=4.6 && <4.11
- containers >=0.5 && <0.6
- cond >=0.4.1 && <0.5
Dependents (1)
@hackage/acme-everything

Boolean normal forms

This library provides types that might be useful in symbolic manipulation of propositional logic expressions.

Features

CNF (list and set)
DNF (list and set)
NNF (tree and set)
FreeBoolean type useful in testing

Distributed under MIT license © Oleg Grenrus 2014