Nikolaj Bjorner 0992628124 Merge branch 'csp' of https://github.com/nikolajbjorner/z3 into csp		2018-10-14 13:07:16 -07:00
..
ackermannization	remove spurious copies and inc_refs around ref_vector	2018-06-28 10:31:38 +01:00
api	adding properities	2018-08-20 23:51:51 +02:00
ast	update parser	2018-10-14 13:06:09 -07:00
cmd_context	rename to csp	2018-08-14 11:05:55 -07:00
math	force the new arithmetic solver for QF_LIA	2018-07-09 16:33:48 -07:00
model	visit parameters during occurs count	2018-06-29 08:52:25 -07:00
muz	record statistics setting in config_params so that fp engine can access them, fix serialization bug when check-assumptions returns unsat	2018-08-06 16:21:27 -07:00
nlsat	strengthen filter for specialized tactic conditions, add flag to disable hnf to lp_params	2018-07-15 22:35:47 -07:00
opt	updated resolvents	2018-09-03 11:17:50 -07:00
parsers	update parser	2018-10-14 13:06:09 -07:00
qe	update documentation for renamed parameter	2018-07-06 21:25:38 -07:00
sat	fix gc	2018-09-10 17:20:40 -07:00
shell	record statistics setting in config_params so that fp engine can access them, fix serialization bug when check-assumptions returns unsat	2018-08-06 16:21:27 -07:00
smt	adding roundingSat strategy	2018-08-31 20:25:49 -05:00
solver	add js-model interfacing	2018-08-12 18:14:06 -07:00
tactic	fix #1793	2018-08-06 18:13:26 -07:00
test	fix include paths	2018-08-05 13:49:26 -07:00
util	fix memory leak, add strengthening	2018-09-03 16:56:07 -07:00
CMakeLists.txt	bmc improvements, move fd_solver to self-contained directory	2018-08-05 10:00:49 -07:00