z3_add_component(arith_tactics
  SOURCES
    add_bounds_tactic.cpp
    arith_bounds_tactic.cpp
    bound_manager.cpp
    bound_propagator.cpp
    bv2int_rewriter.cpp
    bv2real_rewriter.cpp
    card2bv_tactic.cpp
    degree_shift_tactic.cpp
    diff_neq_tactic.cpp
    eq2bv_tactic.cpp
    factor_tactic.cpp
    fix_dl_var_tactic.cpp
    fm_tactic.cpp
    lia2card_tactic.cpp
    lia2pb_tactic.cpp
    linear_equation.cpp
    nla2bv_tactic.cpp
    normalize_bounds_tactic.cpp
    pb2bv_model_converter.cpp
    pb2bv_tactic.cpp
    probe_arith.cpp
    propagate_ineqs_tactic.cpp
    purify_arith_tactic.cpp
    recover_01_tactic.cpp
  COMPONENT_DEPENDENCIES
    core_tactics
    sat
  TACTIC_HEADERS
    add_bounds_tactic.h
    card2bv_tactic.h
    degree_shift_tactic.h
    diff_neq_tactic.h
    eq2bv_tactic.h
    factor_tactic.h
    fix_dl_var_tactic.h
    fm_tactic.h
    lia2pb_tactic.h
    lia2card_tactic.h
    nla2bv_tactic.h
    normalize_bounds_tactic.h
    pb2bv_tactic.h
    probe_arith.h
    propagate_ineqs_tactic.h
    purify_arith_tactic.h
    recover_01_tactic.h
)