1 2 3 4 5 6 7 8 9 10
z3_add_component(subpaving_tactic SOURCES expr2subpaving.cpp subpaving_tactic.cpp COMPONENT_DEPENDENCIES core_tactics subpaving TACTIC_HEADERS subpaving_tactic.h )