satchmo-2.6.0: Satchmo/SMT/Exotic/Semiring.hs

{-# language TypeSynonymInstances, FlexibleInstances, UndecidableInstances #-}

module Satchmo.SMT.Exotic.Semiring 

( module Satchmo.SMT.Exotic.Semiring.Class )

where

import Satchmo.SMT.Exotic.Semiring.Class