Nikolaj Bjorner a8279dd9d5 reset kv map consistently with egraph ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>		2025-01-27 17:09:38 -08:00
..
ackermannization	delete more default constructors	2024-09-23 12:59:04 +01:00
api	add cases for new parameters for ts build	2025-01-22 11:59:36 -08:00
ast	reset kv map consistently with egraph	2025-01-27 17:09:38 -08:00
cmd_context	more detailed tracing of where unmaterialized exceptions happen	2024-11-19 18:15:50 -08:00
math	fix uninitialized variable warnings	2025-01-14 13:54:05 -08:00
model	revert flat default	2025-01-27 16:56:12 -08:00
muz	fix #7521 (#7531)	2025-01-26 17:52:06 -08:00
nlsat	use std::exception as base class to z3_exception	2024-11-04 11:08:15 -08:00
opt	Add (updated and general) solve_for functionality for arithmetic, add congruence_explain to API to retrieve explanation for why two terms are congruent Tweak handling of smt.qi.max_instantations	2024-12-19 23:27:57 +01:00
params	Performance improvements for seq-sls (#7519)	2025-01-21 08:01:59 -08:00
parsers	inherit more exceptions from std::exception	2024-11-04 13:52:14 -08:00
qe	fix #7517	2025-01-20 19:04:36 -08:00
sat	fix #7532	2025-01-27 10:51:12 -08:00
shell	fix #7461	2024-12-09 16:57:17 -08:00
smt	Preserve fingerprint in trace (#7534)	2025-01-27 13:09:48 -08:00
solver	move from justified_expr to dependent_expr by aligning datatypes	2025-01-22 11:46:10 -08:00
tactic	add clausal lookahead to arithmetic solver as part of portfolio	2025-01-20 16:16:46 -08:00
test	fix build for tests	2025-01-22 13:30:12 -08:00
util	fix unit tests, add subsampling mode for false literals	2025-01-20 17:34:59 -08:00
CMakeLists.txt	Sls (#7439)	2024-11-02 12:32:48 -07:00