Nuno Lopes 8e4ef19f45 fix debug build		2019-02-19 10:54:41 +00:00
..
ackermannization	fix another bug uncovered by Dunlop, prepare grounds for equality solving within NNFs	2019-01-14 01:25:25 -08:00
api	add API for setting variable activity	2019-02-15 12:05:24 -08:00
ast	fix #2142	2019-02-19 10:16:50 +01:00
cmd_context	remove more references	2019-02-14 17:06:38 -08:00
math	fix #2120 fix #2122	2019-02-03 17:15:38 +01:00
model	fix #2129	2019-02-16 09:38:47 -08:00
muz	add API for setting variable activity	2019-02-15 12:05:24 -08:00
nlsat	fix build break	2018-12-11 09:35:27 -08:00
opt	removing unused and fixing suspect optimization	2019-02-16 21:26:29 -08:00
parsers	fix #2120 fix #2122	2019-02-03 17:15:38 +01:00
qe	fix #2061	2019-01-06 11:49:47 -08:00
sat	fix #2142	2019-02-19 10:16:50 +01:00
shell	abstract solver API	2019-02-06 19:42:01 +01:00
smt	also deal with initializing boolean variables in smt context	2019-02-15 17:58:26 -08:00
solver	add API for setting variable activity	2019-02-15 12:05:24 -08:00
tactic	fix debug build	2019-02-19 10:54:41 +00:00
test	fix test build	2019-02-11 14:44:12 -08:00
util	rewrite scoped_timer in C++11 way	2019-02-04 17:42:27 +00:00
CMakeLists.txt	rename version.h to z3_version.h to differentiate name in install include directory. Add support for z3_version.h in python build system. #1833	2018-09-21 20:13:58 -07:00