mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-09 02:41:52 +00:00
Code Activity
z3/src/solver
History
Nikolaj Bjorner f0740bdf60 move user propagte declare to context level 
declaration of user propagate functions are declared at context level instead of at solver scope.
2021-12-18 10:56:42 -08:00
..
assertions expose propagate created 2021-12-17 16:12:47 -08:00
check_logic.cpp move to separate axiom management 2021-02-23 18:09:45 -08:00
check_logic.h debug arith/mbi 2020-11-02 12:13:19 -08:00
check_sat_result.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
check_sat_result.h fix #4662 2020-08-27 15:05:35 -07:00
CMakeLists.txt separate component for asserted_formulas to break dependency cycles 2021-03-17 15:51:38 -07:00
combined_solver.cpp integrate v2 of lns 2021-02-04 15:47:40 -08:00
combined_solver.h booyah 2020-07-04 15:56:30 -07:00
combined_solver_params.pyg
mus.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
mus.h booyah 2020-07-04 15:56:30 -07:00
parallel_params.pyg Fix whitespace issues in *.pyg. 2019-08-15 10:19:33 -07:00
parallel_tactic.cpp add tactic name 2021-12-07 13:37:57 -08:00
parallel_tactic.h booyah 2020-07-04 15:56:30 -07:00
progress_callback.h booyah 2020-07-04 15:56:30 -07:00
smt_logics.cpp #4869 load datatype parsing for HORN logic 2021-10-26 11:54:29 +02:00
smt_logics.h remove a hundred implicit constructors/destructors 2021-05-23 14:25:01 +01:00
solver.cpp remove incorrect and inefficient default model conversion 2021-07-15 18:47:25 +02:00
solver.h base -> core 2021-11-29 19:55:10 -08:00
solver2tactic.cpp add tactic name 2021-12-07 13:37:57 -08:00
solver2tactic.h booyah 2020-07-04 15:56:30 -07:00
solver_na2as.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
solver_na2as.h booyah 2020-07-04 15:56:30 -07:00
solver_params.pyg remove incorrect and inefficient default model conversion 2021-07-15 18:47:25 +02:00
solver_pool.cpp call it data instead of c_ptr for approaching C++11 std::vector convention. 2021-04-13 18:17:35 -07:00
solver_pool.h booyah 2020-07-04 15:56:30 -07:00
tactic2solver.cpp move user propagte declare to context level 2021-12-18 10:56:42 -08:00
tactic2solver.h booyah 2020-07-04 15:56:30 -07:00