z3-z3-4.13.0.src.ast.simplifiers.CMakeLists.txt Maven / Gradle / Ivy
The newest version!
z3_add_component(simplifiers
SOURCES
bit_blaster.cpp
bound_manager.cpp
bound_propagator.cpp
bound_simplifier.cpp
bv_bounds_simplifier.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
linear_equation.cpp
max_bv_sharing.cpp
model_reconstruction_trail.cpp
propagate_values.cpp
reduce_args_simplifier.cpp
solve_context_eqs.cpp
solve_eqs.cpp
COMPONENT_DEPENDENCIES
bit_blaster
euf
interval
normal_forms
rewriter
substitution
TACTIC_HEADERS
bit_blaster.h
bit2int.h
elim_bounds.h
elim_term_ite.h
pull_nested_quantifiers.h
push_ite.h
refine_inj_axiom.h
rewriter_simplifier.h
)