module AlgebraCheckers
  ( -- * Model Checking
    testModel
  , theoremsOf

    -- * Modeling Tools
  , law
  , homo
  , notDodgy
  ) where

import AlgebraCheckers.Patterns
import AlgebraCheckers.TH