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:

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]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for boolean-normal-forms-0.0.1.1

[back to package description]

Boolean normal forms

Build Status

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

Features

Distributed under MIT license © Oleg Grenrus 2014