-------------------------------------------------------------------------------- {-# LANGUAGE Safe #-} -- | Copilot backend for the <https://kind2-mc.github.io/kind2/ Kind 2> SMT -- based model checker. module Copilot.Theorem.Kind2 (module X) where import Copilot.Theorem.Kind2.AST as X import Copilot.Theorem.Kind2.Translate as X import Copilot.Theorem.Kind2.PrettyPrint as X import Copilot.Theorem.Kind2.Prover as X --------------------------------------------------------------------------------