Nikolaj Bjorner 8fac89cdcc enable more simplification in case inequality triggers a change.		2023-10-21 19:58:39 -07:00
..
ackermannization	fix #6807	2023-07-13 10:23:28 -07:00
api	increase wasm stack size (#6931)	2023-10-06 11:49:54 +09:00
ast	enable more simplification in case inequality triggers a change.	2023-10-21 19:58:39 -07:00
cmd_context	fix #6850	2023-08-13 15:06:39 -07:00
math	enable propagate-linear-equations and extend to monomials	2023-10-21 19:57:41 -07:00
model	#6935	2023-10-10 15:52:54 +09:00
muz	QEL: Fast Approximated Quantifier Elimination (#6820)	2023-08-02 09:34:06 -07:00
nlsat	fix bug in new core not detecting conflict, fix #6525, add tactic doc	2023-01-14 17:20:43 -05:00
opt	weird latent bug in wmax: init() succeeds and it returns undef	2023-04-24 21:14:42 -07:00
params	add parameter to disable pattern inference #6884	2023-09-03 15:27:37 -07:00
parsers	#6902	2023-09-18 12:52:59 -07:00
qe	fix #6955	2023-10-19 10:41:24 -07:00
sat	update add_lemmas to use check-feasible	2023-10-21 19:58:07 -07:00
shell	before rm lu	2023-03-08 10:27:05 -08:00
smt	allow for propagations the trigger make-feasible check	2023-10-19 16:08:44 -07:00
solver	enable more simplification in case inequality triggers a change.	2023-10-21 19:58:39 -07:00
tactic	enable more simplification in case inequality triggers a change.	2023-10-21 19:58:39 -07:00
test	fixin nla_solver_test.cpp	2023-10-06 06:51:00 -07:00
util	minor code simplification	2023-10-11 01:38:03 +01:00
CMakeLists.txt	create simplifier_solver wrapper to supply simplifier layer	2023-01-30 16:12:25 -08:00