3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 18:05:21 +00:00
z3/src
2023-09-17 12:25:11 -07:00
..
ackermannization fix #6807 2023-07-13 10:23:28 -07:00
api Remove Z3_literals remnants. (#6829) 2023-07-23 19:38:57 -07:00
ast minor code simplification 2023-08-30 12:50:29 +01:00
cmd_context fix #6850 2023-08-13 15:06:39 -07:00
math add an include file 2023-09-17 12:25:11 -07:00
model include rewriter for recursive functions in model-evaluator 2023-08-28 11:31:40 -07:00
muz QEL: Fast Approximated Quantifier Elimination (#6820) 2023-08-02 09:34:06 -07:00
nlsat fix bug in new core not detecting conflict, fix #6525, add tactic doc 2023-01-14 17:20:43 -05:00
opt weird latent bug in wmax: init() succeeds and it returns undef 2023-04-24 21:14:42 -07:00
params Adding some options in support of F* (#6774) 2023-06-20 16:10:37 -07:00
parsers fix #6792, add scaffolding for type variables 2023-07-07 17:22:56 -07:00
qe print deq in lits2pure. fix #6877 (#6878) 2023-08-26 20:53:15 -07:00
sat debug 2023-09-16 13:54:14 -07:00
shell before rm lu 2023-03-08 10:27:05 -08:00
smt remove an extrac check in bound_is_interesting 2023-09-15 17:42:18 -07:00
solver allow copy within a user scope #6827 2023-07-31 19:46:08 -07:00
tactic fix #6851 2023-08-13 14:49:25 -07:00
test Arith min max (#6864) 2023-08-19 17:44:09 -07:00
util Arith min max (#6864) 2023-08-19 17:44:09 -07:00
CMakeLists.txt create simplifier_solver wrapper to supply simplifier layer 2023-01-30 16:12:25 -08:00