-- | Wrapper module around CHR stuff

module UHC.Util.CHR
  ( module UHC.Util.CHR.Base
  , module UHC.Util.CHR.Key
  -- , module UHC.Util.CHR.Solve
  )
  where

import UHC.Util.CHR.Base
import UHC.Util.CHR.Key
-- import UHC.Util.CHR.Solve