z3_add_component(simplifiers
  SOURCES
    bit_blaster.cpp
    bv1_blaster.cpp
    bound_manager.cpp
    bound_propagator.cpp
    bound_simplifier.cpp
    bv_bounds_simplifier.cpp
    bv_divrem_bounds.cpp
    bv_slice.cpp
    card2bv.cpp
    demodulator_simplifier.cpp
    dependent_expr_state.cpp
    dominator_simplifier.cpp
    distribute_forall.cpp
    elim_unconstrained.cpp
    eliminate_predicates.cpp
    euf_completion.cpp
    extract_eqs.cpp
    factor_simplifier.cpp
    ff_simplify.cpp
    fold_unfold.cpp
    lambda_simplifier.cpp
    leibniz_simplifier.cpp
    linear_equation.cpp
    max_bv_sharing.cpp
    model_reconstruction_trail.cpp
    propagate_values.cpp
    randomizer.cpp
    recfun_finder.cpp
    reduce_args_simplifier.cpp
    solve_context_eqs.cpp
    solve_eqs.cpp
  COMPONENT_DEPENDENCIES
    bit_blaster
    euf
    interval
    normal_forms
    rewriter
    substitution
)
