Nikolaj Bjorner 3c92119b1a disable tabu in fallback modes ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>		2024-08-24 09:55:43 -07:00
..
ackermannization	fix #6807	2023-07-13 10:23:28 -07:00
api	kludge to address #7232, probably superseeded by planned revision to setup/pypi	2024-07-15 14:24:22 -07:00
ast	disable tabu in fallback modes	2024-08-24 09:55:43 -07:00
cmd_context	fixes to semantics	2024-08-23 09:20:11 -07:00
math	sls	2024-07-05 17:03:00 -07:00
model	fix #7268	2024-07-15 14:24:22 -07:00
muz	Fix some typos. (#7075)	2023-12-29 15:20:06 +00:00
nlsat	trigger the build with a comment change	2024-07-15 14:24:22 -07:00
opt	move sat_params to params directory, add op_def repair options	2024-07-06 13:26:39 -07:00
params	move sat_params to params directory, add op_def repair options	2024-07-06 13:26:39 -07:00
parsers	Fixed parsing of | and \ (#6975)	2023-10-30 12:30:23 -07:00
qe	change signed projection to include root object.	2024-03-23 16:14:24 -04:00
sat	updates	2024-08-19 16:04:28 -07:00
shell	fix compiler errors for gcc	2024-07-15 12:17:10 -07:00
smt	#7207	2024-06-16 15:04:42 -07:00
solver	spell check from https://github.com/microsoft/z3guide/pull/165	2024-01-12 09:57:46 -08:00
tactic	fixes to ite and other	2024-08-16 16:48:12 -07:00
test	update sls_test	2024-08-21 22:32:58 -07:00
util	fixes to ite and other	2024-08-16 16:48:12 -07:00
CMakeLists.txt	reorg sls	2024-07-05 16:16:01 -07:00