CNF.hs

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

import Data.Algebra.Boolean.CNF.Set