Nikolaj Bjorner e6f8fe359e remove empty file ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>		2023-01-31 12:32:28 -08:00
..
ackermannization	add doc for ackermannize	2022-12-27 12:02:08 -08:00
api	update release notes	2023-01-31 12:19:33 -08:00
ast	update release notes	2023-01-31 12:19:33 -08:00
cmd_context	fix #6564	2023-01-31 09:32:34 -08:00
math	move bounded division lemmas to nla solver/ nla_divisions.	2023-01-30 11:11:04 -08:00
model	rename set-flat to set-flat-and-or to allow to differentiate parameters	2022-10-27 11:22:57 -07:00
muz	update release notes	2023-01-31 12:19:33 -08:00
nlsat	fix bug in new core not detecting conflict, fix #6525, add tactic doc	2023-01-14 17:20:43 -05:00
opt	experimental feature to access congruence closure of SimpleSolver	2022-12-30 21:41:27 -08:00
params	don't flush stream when printing param vals	2023-01-03 09:35:17 +00:00
parsers	Optimize calls to Z3_eval_smtlib2_string (#6422)	2022-10-28 13:57:22 -07:00
qe	update release notes	2023-01-31 12:19:33 -08:00
sat	update release notes	2023-01-31 12:19:33 -08:00
shell	Add simplification customization for SMTLIB2	2023-01-30 22:38:51 -08:00
smt	move bounded division lemmas to nla solver/ nla_divisions.	2023-01-30 11:11:04 -08:00
solver	update release notes	2023-01-31 12:19:33 -08:00
tactic	remove empty file	2023-01-31 12:32:28 -08:00
test	fix #6535	2023-01-12 19:06:30 -08:00
util	convert reduce-args to a simplifier	2023-01-28 20:12:14 -08:00
CMakeLists.txt	create simplifier_solver wrapper to supply simplifier layer	2023-01-30 16:12:25 -08:00