boolean-normal-forms: Boolean normal form: NNF, DNF & CNF

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Warnings:

Packages relying on Cabal 1.12 or later should specify a specific version of the Cabal spec of the form 'cabal-version: x.y'. Use 'cabal-version: 1.18'.

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

[Skip to Readme]

Properties

Versions	0.0.0.1, 0.0.0.2, 0.0.1, 0.0.1.1, 0.0.1.1
Change log	CHANGELOG.md
Dependencies	base (>=4.6 && <4.14), cond (>=0.4.1 && <0.5), containers (>=0.5 && <0.7), deepseq (>=1.1.0.0 && <1.5) [details]
License	MIT
Copyright	© Oleg Grenrus 2014
Author	Oleg Grenrus
Maintainer	oleg.grenrus@iki.fi
Category	Data
Uploaded	by phadej at 2019-12-04T19:42:02Z

Modules

[Index] [Quick Jump]

Data
- Algebra
  - Boolean

Downloads

boolean-normal-forms-0.0.1.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

phadej

For package maintainers and hackage trustees

edit package information

Readme for boolean-normal-forms-0.0.1.1

[back to package description]

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