Nikolaj Bjorner f33d6f89b9 fix #4973		2021-01-25 12:20:27 -08:00
..
ackermannization	add command-line help descriptions on tactics	2020-08-14 19:29:35 -07:00
api	have add_soft accept an interable of Booleans.	2021-01-25 12:17:35 -08:00
ast	remove bit-vector dependencies in theory_str_mc. See discussion #4939	2021-01-23 13:03:06 -08:00
cmd_context	fix reset break	2020-12-19 16:32:54 -08:00
math	patch for Sturm sequence bug #4961	2021-01-24 12:58:25 -08:00
model	sym file	2020-12-21 17:08:38 -08:00
muz	check engine configuration for unsupported engines #4898	2020-12-18 14:38:42 -08:00
nlsat	patch for Sturm sequence bug #4961	2021-01-24 12:58:25 -08:00
opt	fix #4948	2021-01-11 19:26:16 -08:00
params	reshuffle unicode support to use global parameter, and use bit-vectors on demand	2021-01-21 14:24:26 -08:00
parsers	DRAT debugging updates	2020-11-22 15:38:57 -08:00
qe	fix #4949 - and/or get rewritten depending on parameters for rewriter	2021-01-20 01:08:54 -08:00
sat	adding ematching engine, fixing seq_unicode	2021-01-22 17:10:45 -08:00
shell	fixes in new solver	2020-12-16 10:40:17 -08:00
smt	fix #4973	2021-01-25 12:20:27 -08:00
solver	debug arith/mbi	2020-11-02 12:13:19 -08:00
tactic	enable new core for incremental mode	2021-01-11 14:55:31 -08:00
test	na	2020-12-30 16:10:11 -08:00
util	patch for Sturm sequence bug #4961	2021-01-24 12:58:25 -08:00
CMakeLists.txt	mbp (#4741)	2020-10-21 15:48:40 -07:00