{-# OPTIONS --safe #-}
module Cubical.Tactics.Everything where

import Cubical.Tactics.CategorySolver.Examples
import Cubical.Tactics.CategorySolver.Reflection
import Cubical.Tactics.CategorySolver.Solver
import Cubical.Tactics.CommRingSolver
import Cubical.Tactics.CommRingSolver.AlgebraExpression
import Cubical.Tactics.CommRingSolver.EvalHom
import Cubical.Tactics.CommRingSolver.Examples
import Cubical.Tactics.CommRingSolver.HornerEval
import Cubical.Tactics.CommRingSolver.HornerForms
import Cubical.Tactics.CommRingSolver.IntAsRawRing
import Cubical.Tactics.CommRingSolver.RawAlgebra
import Cubical.Tactics.CommRingSolver.RawRing
import Cubical.Tactics.CommRingSolver.Solver
import Cubical.Tactics.CommRingSolver.Utility
import Cubical.Tactics.FunctorSolver.Examples
import Cubical.Tactics.FunctorSolver.Reflection
import Cubical.Tactics.FunctorSolver.Solver
import Cubical.Tactics.MonoidSolver.CommSolver
import Cubical.Tactics.MonoidSolver.Examples
import Cubical.Tactics.MonoidSolver.MonoidExpression
import Cubical.Tactics.MonoidSolver.Reflection
import Cubical.Tactics.MonoidSolver.Solver
import Cubical.Tactics.NatSolver
import Cubical.Tactics.NatSolver.EvalHom
import Cubical.Tactics.NatSolver.Examples
import Cubical.Tactics.NatSolver.HornerForms
import Cubical.Tactics.NatSolver.NatExpression
import Cubical.Tactics.NatSolver.Solver
import Cubical.Tactics.Reflection
import Cubical.Tactics.Reflection.Utilities
import Cubical.Tactics.Reflection.Variables