{-# 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.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.Reflection 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.EvalHom import Cubical.Tactics.NatSolver.Examples import Cubical.Tactics.NatSolver.HornerForms import Cubical.Tactics.NatSolver.NatExpression import Cubical.Tactics.NatSolver.Reflection import Cubical.Tactics.NatSolver.Solver import Cubical.Tactics.Reflection