create separate file for expression based lookahead solver

Z3Prover · Jan 25, 2025 · d805322 · d805322
1 parent f6e7dcf
commit d805322
Show file tree

Hide file tree

Showing 7 changed files with 896 additions and 798 deletions.
diff --git a/src/ast/sls/CMakeLists.txt b/src/ast/sls/CMakeLists.txt
@@ -4,6 +4,7 @@ z3_add_component(ast_sls
     sat_ddfw.cpp
     sls_arith_base.cpp
     sls_arith_clausal.cpp
+    sls_arith_lookahead.cpp
     sls_arith_plugin.cpp
     sls_array_plugin.cpp
     sls_basic_plugin.cpp