--------------------------------------------------------------------
-- |
-- Copyright :  © Oleg Grenrus 2014
-- License   :  MIT
-- Maintainer:  Oleg Grenrus <oleg.grenrus@iki.fi>
-- Stability :  experimental
-- Portability: non-portable
--
-- This module re-exports tree-based implementation.
--------------------------------------------------------------------
module Data.Algebra.Boolean.NNF (
  module Data.Algebra.Boolean.NNF.Tree
) where

import Data.Algebra.Boolean.NNF.Tree