z3_add_component(spacer
SOURCES
spacer_legacy_mev.cpp
spacer_legacy_frames.cpp
spacer_context.cpp
spacer_dl_interface.cpp
spacer_farkas_learner.cpp
spacer_generalizers.cpp
spacer_manager.cpp
spacer_prop_solver.cpp
spacer_sym_mux.cpp
spacer_util.cpp
spacer_cluster_util.cpp
spacer_iuc_solver.cpp
spacer_legacy_mbp.cpp
spacer_proof_utils.cpp
spacer_unsat_core_learner.cpp
spacer_unsat_core_plugin.cpp
spacer_matrix.cpp
spacer_antiunify.cpp
spacer_mev_array.cpp
spacer_qe_project.cpp
spacer_sem_matcher.cpp
spacer_quant_generalizer.cpp
spacer_arith_generalizers.cpp
spacer_global_generalizer.cpp
spacer_ind_lemma_generalizer.cpp
spacer_expand_bnd_generalizer.cpp
spacer_cluster.cpp
spacer_callback.cpp
spacer_iuc_proof.cpp
spacer_mbc.cpp
spacer_pdr.cpp
spacer_sat_answer.cpp
spacer_concretize.cpp
spacer_convex_closure.cpp
spacer_conjecture.cpp
spacer_arith_kernel.cpp
COMPONENT_DEPENDENCIES
arith_tactics
core_tactics
muz
qe
smt_tactic
transforms
)