| Copyright | © Oleg Grenrus 2014 |
|---|---|
| License | MIT |
| Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi> |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Algebra.Boolean.NNF
Description
This module re-exports tree-based implementation.