mirror of
https://github.com/Z3Prover/z3
synced 2025-08-21 02:30:23 +00:00
dd0decfe5d
move sat_smt_preprocess to solver fix bugs in model_reconstruction_trail for dependency replay This is a preparatory step for exposing pre-processing as tactics.
25 lines
455 B
CMake
25 lines
455 B
CMake
z3_add_component(solver
|
|
SOURCES
|
|
check_sat_result.cpp
|
|
check_logic.cpp
|
|
combined_solver.cpp
|
|
mus.cpp
|
|
parallel_tactical.cpp
|
|
simplifier_solver.cpp
|
|
smt_logics.cpp
|
|
solver.cpp
|
|
solver_na2as.cpp
|
|
solver_pool.cpp
|
|
solver_preprocess.cpp
|
|
solver2tactic.cpp
|
|
tactic2solver.cpp
|
|
COMPONENT_DEPENDENCIES
|
|
model
|
|
tactic
|
|
smt_params
|
|
qe_lite
|
|
PYG_FILES
|
|
combined_solver_params.pyg
|
|
parallel_params.pyg
|
|
|
|
)
|