separate out simplification functionality

Z3Prover · May 10, 2024 · b343804 · b343804
1 parent 55ded3d
commit b343804
Show file tree

Hide file tree

Showing 6 changed files with 928 additions and 938 deletions.
diff --git a/src/nlsat/CMakeLists.txt b/src/nlsat/CMakeLists.txt
@@ -4,6 +4,7 @@ z3_add_component(nlsat
     nlsat_evaluator.cpp
     nlsat_explain.cpp
     nlsat_interval_set.cpp
+    nlsat_simplify.cpp
     nlsat_solver.cpp
     nlsat_types.cpp
   COMPONENT_DEPENDENCIES