Lev Nachmanson ece691285e throw an algebraic exception on a failure of m_limit.inc() instead of returning sign_zero ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>		2026-01-14 07:23:26 -10:00
..
dd	add option for gcd-test to grobner	2025-09-01 16:37:21 -07:00
grobner	for Arie	2025-06-04 14:24:01 +02:00
hilbert	Centralize and document TRACE tags using X-macros (#7657)	2025-05-28 14:31:25 +01:00
interval	Centralize and document TRACE tags using X-macros (#7657)	2025-05-28 14:31:25 +01:00
lp	Replace empty destructors with = default for compiler optimization (#8189)	2026-01-13 10:50:10 -08:00
polynomial	throw an algebraic exception on a failure of m_limit.inc() instead of returning sign_zero	2026-01-14 07:23:26 -10:00
realclosure	Return bool instead of int from Z3_rcf_interval (#8046)	2025-11-25 18:08:17 -08:00
simplex	Replace custom util/optional with std::optional (#8162)	2026-01-11 19:47:39 -08:00
subpaving	Centralize and document TRACE tags using X-macros (#7657)	2025-05-28 14:31:25 +01:00