T2A.Tactics

Types

type Tactic

Solvers

resolveTactic

resolveTacticGen

Tactics

identity