rme-0.1: src/Data/RME.hs

{- |
Module      : Data.RME
Copyright   : Galois, Inc. 2016
License     : BSD3
Maintainer  : huffman@galois.com
Stability   : experimental
Portability : portable

Reed-Muller Expansion normal form for Boolean Formulas.
-}

module Data.RME
  ( module Data.RME.Base
  , module Data.RME.Vector
  ) where

import Data.RME.Base
import Data.RME.Vector