mirror of
https://github.com/Z3Prover/z3
synced 2026-06-13 20:35:39 +00:00
85465dcc66
* add parallel_tactical2.cpp: portfolio parallel solver using solver API Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/8b3749c7-5957-41aa-85b5-2d76d4780d61 Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> * address code review: cap conflict growth, clarify cube/split comments, use mk_or for conflict clause Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/8b3749c7-5957-41aa-85b5-2d76d4780d61 Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
27 lines
499 B
CMake
27 lines
499 B
CMake
z3_add_component(solver
|
|
SOURCES
|
|
check_sat_result.cpp
|
|
check_logic.cpp
|
|
combined_solver.cpp
|
|
mus.cpp
|
|
parallel_tactical.cpp
|
|
parallel_tactical2.cpp
|
|
simplifier_solver.cpp
|
|
slice_solver.cpp
|
|
smt_logics.cpp
|
|
solver.cpp
|
|
solver_na2as.cpp
|
|
solver_pool.cpp
|
|
solver_preprocess.cpp
|
|
solver2tactic.cpp
|
|
tactic2solver.cpp
|
|
COMPONENT_DEPENDENCIES
|
|
model
|
|
tactic
|
|
params
|
|
qe_lite
|
|
PYG_FILES
|
|
combined_solver_params.pyg
|
|
parallel_params.pyg
|
|
|
|
)
|