module SMT.Everything where

-- Typechecking this module typechecks every module in the safe ff-smt library.
import SMT
import SMT.Core
import SMT.Counterexample
import SMT.Derived
import SMT.Examples
import SMT.Examples.Advanced
import SMT.Examples.Progressive
import SMT.Examples.Showcase
import SMT.Examples.Systems
import SMT.Semantics
import SMT.Syntax
import SMT.Tests
import SMT.Tests.AdvancedRendering
import SMT.Tests.ProgressiveRendering
import SMT.Tests.Rendering
import SMT.Tests.ShowcaseRendering
import SMT.Tests.SystemsRendering