3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-09 10:51:50 +00:00
z3/src
2022-12-04 10:19:39 -08:00
..
ackermannization move model and proof converters to self-contained module 2022-11-03 05:23:01 -07:00
api make sure parser context within solver object has its parameters updated 2022-11-23 11:37:23 +07:00
ast proper fix to #6476 2022-12-04 10:19:39 -08:00
cmd_context move model and proof converters to self-contained module 2022-11-03 05:23:01 -07:00
math disable new code until pre-condition gets fixed 2022-11-30 22:29:59 -08:00
model rename set-flat to set-flat-and-or to allow to differentiate parameters 2022-10-27 11:22:57 -07:00
muz fix #6446 2022-11-08 18:37:16 -08:00
nlsat remove legacy solve_eqs_tactic entirely 2022-11-14 18:57:16 -08:00
opt remove legacy solve_eqs_tactic entirely 2022-11-14 18:57:16 -08:00
params move parameter sat.smt.proof to solver.proof.log 2022-11-23 11:37:23 +07:00
parsers Optimize calls to Z3_eval_smtlib2_string (#6422) 2022-10-28 13:57:22 -07:00
qe wip - dependent expr simpliifer 2022-11-30 13:41:40 +07:00
sat add cnf/nnf simplifier 2022-11-30 23:04:38 -08:00
shell move flushes in display_statistics (#6472) 2022-12-02 13:56:53 -08:00
smt update dependencies 2022-11-30 22:48:10 -08:00
solver move qhead to attribute on the state instead of the simplifier, 2022-11-29 16:36:02 +07:00
tactic move it into substitution to handle dependencies 2022-12-04 06:23:32 -08:00
test remove dependency on hash_compare 2022-11-09 09:06:34 -08:00
util replace restore_size_trail by more generic restore_vector 2022-11-28 11:45:56 +07:00
CMakeLists.txt add demodulator simplifier 2022-12-04 09:39:28 -08:00