Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi> |
Safe Haskell | None |
Data.Algebra.Boolean.NNF.Tree
Description
boolean-normal-forms-0.0.0.1: Boolean normal form: NNF, DNF & CNF
Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi> |
Safe Haskell | None |
Data.Algebra.Boolean.NNF.Tree
Description