Nikolaj Bjorner b29c77dc87 fix #3295 ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>		2020-03-14 09:51:18 -07:00
..
ackermannization	fix #3115 fix #3116 regressions from #3111 etc	2020-03-02 16:38:33 -08:00
api	Add accessor for lower/upper bounds of algebraic numerals #3245	2020-03-12 14:23:45 -07:00
ast	fix #3275	2020-03-13 13:55:12 -07:00
cmd_context	fix #3169 - set cancellation timeout and limit during push. Also expose internalization outside of scope that disables cancellation	2020-03-06 23:36:04 +01:00
math	fix #3194, remove euclidean solver	2020-03-08 16:05:13 +01:00
model	fix #3284 (and other recent regressions)	2020-03-12 08:37:43 -07:00
muz	preserve model order to avoid clobbering regression tests	2020-03-10 16:56:49 -07:00
nlsat	fix #3241	2020-03-12 07:55:16 -07:00
opt	prepare for throttling gcd test and patching based on cost/success ratio	2020-02-26 19:02:56 -08:00
parsers	fix #3015	2020-02-15 21:16:34 -10:00
qe	delay-initialize solver to avoid conflicts with global parameters #3076	2020-03-10 11:34:49 -07:00
sat	fix #3220	2020-03-10 16:08:16 -07:00
shell	move lp_params to smt_params_helper	2020-02-10 11:25:54 -08:00
smt	fix #3260	2020-03-13 11:42:25 -07:00
solver	fix #3268	2020-03-13 10:49:39 -07:00
tactic	fix #3295	2020-03-14 09:51:18 -07:00
test	Testcase for npn3_finder.	2020-03-01 04:10:25 -08:00
util	fix #3190 fix #3168	2020-03-08 12:54:03 +01:00
CMakeLists.txt	Julia bindings (#3228)	2020-03-10 09:16:34 -07:00