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