mirror of
https://github.com/Z3Prover/z3
synced 2026-06-14 21:05:39 +00:00
17 lines
346 B
CMake
17 lines
346 B
CMake
z3_add_component(nlsat
|
|
SOURCES
|
|
nlsat_clause.cpp
|
|
nlsat_evaluator.cpp
|
|
nlsat_explain.cpp
|
|
nlsat_interval_set.cpp
|
|
nlsat_simplify.cpp
|
|
nlsat_solver.cpp
|
|
nlsat_types.cpp
|
|
nlsat_simple_checker.cpp
|
|
nlsat_variable_ordering_strategy.cpp
|
|
COMPONENT_DEPENDENCIES
|
|
polynomial
|
|
sat
|
|
PYG_FILES
|
|
nlsat_params.pyg
|
|
)
|