Package org.sosy_lab.solver.basicimpl.tactics

Default tactics implementations (formula-to-formula transformations).

See: Description

Enum Summary

Enum	Description
Tactic	Enum that holds all the values for tactics that are either supported with a default implementation in java-smt or with a solver-specific version e.g.

Package org.sosy_lab.solver.basicimpl.tactics Description

Default tactics implementations (formula-to-formula transformations).