Lev Nachmanson 3238d94813 profile and remove dead code from dioph_eq.cpp ... Signed-off-by: Lev Nachmanson <levnach@hotmail.com>		2025-03-10 14:58:19 -10:00
..
ackermannization	delete more default constructors	2024-09-23 12:59:04 +01:00
api	fix #7572 and fix #7574	2025-03-07 10:46:29 -08:00
ast	fix #7572 and fix #7574	2025-03-07 10:46:29 -08:00
cmd_context	fix #7560	2025-02-19 09:39:17 -08:00
math	profile and remove dead code from dioph_eq.cpp	2025-03-10 14:58:19 -10:00
model	revert flat default	2025-01-27 16:56:12 -08:00
muz	fix #7466	2025-03-09 18:50:07 -07:00
nlsat	use std::exception as base class to z3_exception	2024-11-04 11:08:15 -08:00
opt	fix #7578	2025-03-09 17:01:42 -07:00
params	Add a sharp throttle to lia2card tactic to control overhead in default tactic mode	2025-02-02 13:58:51 -08:00
parsers	inherit more exceptions from std::exception	2024-11-04 13:52:14 -08:00
qe	fix #7572 and fix #7574	2025-03-07 10:46:29 -08:00
sat	fix #7572 and fix #7574	2025-03-07 10:46:29 -08:00
shell	fix #7461	2024-12-09 16:57:17 -08:00
smt	improved dio handler	2025-03-10 07:06:36 -10:00
solver	#7468 - add option (get-info :parameters) to display solver parameters that were updated globally and distinct from defaults	2025-02-10 11:57:14 -08:00
tactic	fix #7572 and fix #7574	2025-03-07 10:46:29 -08:00
test	fix unit test	2025-02-17 20:36:38 -08:00
util	code simplification	2025-02-18 19:07:58 -08:00
CMakeLists.txt	Sls (#7439)	2024-11-02 12:32:48 -07:00