Package org.sosy_lab.java_smt.basicimpl.tactics

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

See: Description

Class Summary

Class	Description
NNFVisitor

Package org.sosy_lab.java_smt.basicimpl.tactics Description

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