mirror of
https://github.com/Z3Prover/z3
synced 2025-08-18 09:12:16 +00:00
19 lines
385 B
CMake
19 lines
385 B
CMake
z3_add_component(smt_params
|
|
SOURCES
|
|
dyn_ack_params.cpp
|
|
preprocessor_params.cpp
|
|
qi_params.cpp
|
|
smt_params.cpp
|
|
theory_arith_params.cpp
|
|
theory_array_params.cpp
|
|
theory_bv_params.cpp
|
|
theory_pb_params.cpp
|
|
theory_seq_params.cpp
|
|
theory_str_params.cpp
|
|
COMPONENT_DEPENDENCIES
|
|
ast
|
|
bit_blaster
|
|
pattern
|
|
PYG_FILES
|
|
smt_params_helper.pyg
|
|
)
|