Nikolaj Bjorner 6393ed78d7 remove useless log		2022-10-23 11:05:33 -07:00
..
ackermannization	Remove empty leaf destructors. (#6211)	2022-07-30 10:07:03 +01:00
api	initialization of proof_cmds	2022-10-20 08:38:23 -07:00
ast	added API to monitor clause inferences	2022-10-19 08:34:55 -07:00
cmd_context	unused variables	2022-10-20 09:09:06 -07:00
math	#6364	2022-10-20 13:14:54 -07:00
model	wip - updates to proof logging and self-checking	2022-10-16 23:33:30 +02:00
muz	unused variables	2022-10-20 09:09:06 -07:00
nlsat	address unused variable warnings	2022-08-28 18:50:54 -07:00
opt	update proof formats for new core	2022-09-28 10:40:43 -07:00
params	work on proof checking	2022-09-30 13:04:19 -04:00
parsers	remove '#include <iostream>' from headers and from unneeded places	2022-06-17 14:10:19 +01:00
qe	#6418 - add best-effort for nested and/or (from ite literals)	2022-10-23 11:03:51 -07:00
sat	remove useless log	2022-10-23 11:05:33 -07:00
shell	unused variables	2022-10-20 09:09:06 -07:00
smt	align format of quantifier instantiation with new core	2022-10-21 15:26:00 -07:00
solver	add experiment with quot-rem encoding	2022-10-21 09:25:45 -07:00
tactic	added API to monitor clause inferences	2022-10-19 08:34:55 -07:00
test	#6364	2022-10-20 13:14:54 -07:00
util	Enable HAS_MALLOC_USABLE_SIZE on FreeBSD (#6402)	2022-10-17 10:14:04 -07:00
CMakeLists.txt	#6319	2022-09-23 22:22:34 -05:00