1 2 3 4 5 6 7 8 9 10 11 12
z3_add_component(smt_tactic SOURCES ctx_solver_simplify_tactic.cpp smt_tactic_core.cpp unit_subsumption_tactic.cpp COMPONENT_DEPENDENCIES smt TACTIC_HEADERS ctx_solver_simplify_tactic.h smt_tactic_core.h unit_subsumption_tactic.h )