mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-04-26 05:43:33 +00:00
Code Activity

Merge pull request #8944 from Z3Prover/feas

Browse source 
Fix the regression in maximize of theory_lra.
This commit is contained in:
Lev Nachmanson 2026-03-12 06:10:26 -10:00 • committed by GitHub
commit 11309424b3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
9 changed files with 473 additions and 62 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/util/trace_tags.def
View file

@ -542,6 +542,7 @@ X(Global, isolate_roots_bug, "isolate roots bug")
X(Global, ite_bug, "ite bug")
X(Global, lar_solver_feas, "lar solver feas")
X(Global, lar_solver_inf_heap, "lar solver inf heap")
X(Global, lar_solver_restore, "lar solver restore")
X(Global, Lazard, "Lazard")
X(Global, lcm_bug, "lcm bug")
X(Global, le_bug, "le bug")