z3_add_component(core_tactics
  SOURCES
    blast_term_ite_tactic.cpp
    cofactor_elim_term_ite.cpp
    cofactor_term_ite_tactic.cpp
    collect_statistics_tactic.cpp
    ctx_simplify_tactic.cpp
    der_tactic.cpp
    distribute_forall_tactic.cpp
    dom_simplify_tactic.cpp
    elim_term_ite_tactic.cpp
    elim_uncnstr_tactic.cpp
    injectivity_tactic.cpp
    nnf_tactic.cpp
    occf_tactic.cpp
    pb_preprocess_tactic.cpp
    propagate_values_tactic.cpp
    reduce_args_tactic.cpp
    reduce_invertible_tactic.cpp
    simplify_tactic.cpp
    solve_eqs_tactic.cpp
    special_relations_tactic.cpp
    split_clause_tactic.cpp
    symmetry_reduce_tactic.cpp
    tseitin_cnf_tactic.cpp
    collect_occs.cpp
  COMPONENT_DEPENDENCIES
    normal_forms
    rewriter
    tactic
  TACTIC_HEADERS
    blast_term_ite_tactic.h
    cofactor_term_ite_tactic.h
    collect_statistics_tactic.h
    ctx_simplify_tactic.h
    der_tactic.h
    distribute_forall_tactic.h
    dom_simplify_tactic.h
    elim_term_ite_tactic.h
    elim_uncnstr_tactic.h
    injectivity_tactic.h
    nnf_tactic.h
    occf_tactic.h
    pb_preprocess_tactic.h
    propagate_values_tactic.h
    reduce_args_tactic.h
    reduce_invertible_tactic.h
    simplify_tactic.h
    solve_eqs_tactic.h
    special_relations_tactic.h
    split_clause_tactic.h
    symmetry_reduce_tactic.h
    tseitin_cnf_tactic.h
)