mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 22:23:22 +00:00
Code Activity

add deps

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-12-17 11:33:16 -08:00
parent 7d65100330
commit f090abce9f
2 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/CMakeLists.txt
View file

@ -36,6 +36,7 @@ endforeach()
# that has not yet been declared. # that has not yet been declared.
add_subdirectory(util) add_subdirectory(util)
add_subdirectory(math/polynomial) add_subdirectory(math/polynomial)
add_subdirectory(math/dd)
add_subdirectory(sat) add_subdirectory(sat)
add_subdirectory(nlsat) add_subdirectory(nlsat)
add_subdirectory(util/lp) add_subdirectory(util/lp)
@ -54,7 +55,6 @@ add_subdirectory(ast/substitution)
add_subdirectory(parsers/util) add_subdirectory(parsers/util)
add_subdirectory(math/grobner) add_subdirectory(math/grobner)
add_subdirectory(math/euclid) add_subdirectory(math/euclid)
add_subdirectory(math/dd)
add_subdirectory(tactic/core) add_subdirectory(tactic/core)
add_subdirectory(math/subpaving/tactic) add_subdirectory(math/subpaving/tactic)
add_subdirectory(tactic/aig) add_subdirectory(tactic/aig)

1
src/sat/CMakeLists.txt
View file

@ -30,6 +30,7 @@ z3_add_component(sat
sat_watched.cpp sat_watched.cpp
COMPONENT_DEPENDENCIES COMPONENT_DEPENDENCIES
util util
dd
PYG_FILES PYG_FILES
sat_asymm_branch_params.pyg sat_asymm_branch_params.pyg
sat_params.pyg sat_params.pyg