Package org.sosy_lab.java_smt.basicimpl.tactics

package org.sosy_lab.java_smt.basicimpl.tactics

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

Related Packages

Package	Description
org.sosy_lab.java_smt.basicimpl	Abstract base classes for easier implementation of a solver backend.
org.sosy_lab.java_smt.basicimpl.withAssumptionsWrapper	Wrapper-classes to guarantee identical behavior for all solvers.

Classes

Class	Description
NNFVisitor