org.sosy_lab.solver.basicimpl.tactics (JavaSMT Solver Library)