@hackage boolean-normal-forms0.0.1.1

Boolean normal form: NNF, DNF & CNF

Categories
License
MIT
Maintainer
oleg.grenrus@iki.fi
Links
- Homepage
- Documentation
- No source repository
- Changelog
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

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

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