uhc-util-0.1.6.3: src/UHC/Util/CHR.hs

-- | 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