Nikolaj Bjorner a2448be0cd print pareto model in check-sat too ... Signed-off-by: Nikolaj Bjorner <nbjorner@hotmail.com>		2015-05-29 08:55:44 -07:00
..
api	initialize potentially unused variables. Fixes issue #112	2015-05-28 14:55:37 -07:00
ast	FPA min/max -+0.0 special cases changed to +0.0 instead of second argument.	2015-05-28 12:20:48 +01:00
cmd_context	print pareto model in check-sat too	2015-05-29 08:55:44 -07:00
duality	tabs	2015-05-19 11:01:15 +01:00
interp	fix for issue #109	2015-05-27 16:05:40 -07:00
math	fixes to Euclidean solver, fixes #100	2015-05-27 09:21:20 -07:00
model	pull unstable	2015-04-01 14:57:11 -07:00
muz	dl_compiler: minor simplifications	2015-05-27 17:07:18 +01:00
nlsat	Removed unnecessary variables and added initialization to others to silence warnings.	2015-02-07 14:47:26 +00:00
opt	print pareto model in check-sat too	2015-05-29 08:55:44 -07:00
parsers	parse also bit-vector constants with set-info. Reported by David Cok	2014-03-19 20:30:58 -07:00
qe	disable hybrid relations pending overhaul/deletion of product relations	2015-05-20 09:21:55 -07:00
sat	fix debian amd64 warnings	2015-05-18 15:17:21 -07:00
shell	tabs	2015-05-19 11:01:15 +01:00
smt	adding parameters to gomory cut axioms	2015-05-27 14:48:51 -07:00
solver	pull unstable	2015-04-01 14:57:11 -07:00
tactic	Reordered the default qflia probe to be checked before the more permissive qfauflia.	2015-05-27 14:47:24 +01:00
test	fix unaligned load in hash_string()	2015-05-23 12:13:39 +01:00
util	MPF min/max -+0.0 special cases changed to +0.0 instead of second argument.	2015-05-28 12:54:57 +01:00