Package org.sosy_lab.java_smt.basicimpl.tactics

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