Nikolaj Bjorner bb966776b8 Update UserPropagator.cs		2022-07-02 13:15:05 -07:00
..
ackermannization	fix #6121	2022-06-30 19:47:26 -07:00
api	Update UserPropagator.cs	2022-07-02 13:15:05 -07:00
ast	rewrites for characters	2022-07-02 11:37:21 -07:00
cmd_context	allow for toggling proof and core mode until the first assertion.	2022-07-02 09:31:36 -07:00
math	adjust trace output	2022-06-29 08:20:01 -07:00
model	remove '#include <iostream>' from headers and from unneeded places	2022-06-17 14:10:19 +01:00
muz	remove '#include <iostream>' from headers and from unneeded places	2022-06-17 14:10:19 +01:00
nlsat	fix debug build	2022-06-17 14:35:33 +01:00
opt	totalizer	2022-06-30 19:49:19 -07:00
params	flat only	2022-06-30 19:59:46 -07:00
parsers	remove '#include <iostream>' from headers and from unneeded places	2022-06-17 14:10:19 +01:00
qe	fix debug build	2022-06-17 14:35:33 +01:00
sat	fixing compiler warn (missing override) (#6125)	2022-06-30 15:39:28 -07:00
shell	remove '#include <iostream>' from headers and from unneeded places	2022-06-17 14:10:19 +01:00
smt	remove unsound axioms, fix #6115	2022-06-29 11:16:10 -07:00
solver	missing virtual functions	2022-07-01 19:18:09 -07:00
tactic	missing virtual functions	2022-07-01 18:31:08 -07:00
test	add totalizer version of rc2	2022-06-29 23:10:42 -07:00
util	fixes issue #6119 (#6120)	2022-06-29 11:10:33 -07:00
CMakeLists.txt	separate dependencies for qe_lite	2022-01-12 03:26:22 -08:00