mirror of
https://github.com/Z3Prover/z3
synced 2025-11-03 21:09:11 +00:00
25 lines
471 B
CMake
25 lines
471 B
CMake
z3_add_component(model
|
|
SOURCES
|
|
array_factory.cpp
|
|
datatype_factory.cpp
|
|
func_interp.cpp
|
|
model2expr.cpp
|
|
model_core.cpp
|
|
model.cpp
|
|
model_evaluator.cpp
|
|
model_implicant.cpp
|
|
model_macro_solver.cpp
|
|
model_pp.cpp
|
|
model_smt2_pp.cpp
|
|
model_v2_pp.cpp
|
|
numeral_factory.cpp
|
|
struct_factory.cpp
|
|
value_factory.cpp
|
|
COMPONENT_DEPENDENCIES
|
|
rewriter
|
|
macros
|
|
PYG_FILES
|
|
model_evaluator_params.pyg
|
|
model_params.pyg
|
|
)
|
|
|