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
)