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

[ data, library, mit ] [ Propose Tags ]

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


[Skip to Readme]
Versions [RSS] [faq] 0.0.0.1, 0.0.0.2, 0.0.1, 0.0.1.1
Change log CHANGELOG.md
Dependencies base (>=4.6 && <4.13), 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
Revised Revision 1 made by phadej at 2018-10-09T09:59:28Z
Category Data
Uploaded by phadej at 2017-11-29T09:30:24Z
Distributions NixOS:0.0.1.1
Downloads 2952 total (24 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2017-11-29 [all 1 reports]

Modules

[Index]

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees

Candidates


Readme for boolean-normal-forms-0.0.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

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

Distributed under MIT license © Oleg Grenrus 2014