1 2 3 4 5 6 7 8 9 10 11
z3_add_component(qe_lite SOURCES qe_lite_tactic.cpp qel.cpp COMPONENT_DEPENDENCIES tactic mbp TACTIC_HEADERS qe_lite_tactic.h qel.h )