{-# OPTIONS --guardedness #-}

--------------------------------------------------------------------------------
-- Schmitty the Solver
--
-- Exports the various bits and pieces needed to use a specific theory.
--------------------------------------------------------------------------------

open import SMT.Theory

module SMT.Script (theory : Theory) where

open import SMT.Script.Base theory public
open import SMT.Script.Show theory public
open import SMT.Script.Reflection theory public