-- | Export Module for SSTG.Core.SMT
module SSTG.Core.SMT
    ( module SSTG.Core.SMT.Syntax
    ) where

import SSTG.Core.SMT.Syntax