Language.SMTLib2.Strategy

data Tactic

data Probe a

data AnyPar

data BuiltInTactic p

data QFLRATacticP