Nikolaj Bjorner 008fc648c1 ensure there are enough variables ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>		2012-11-25 16:53:13 -08:00
..
api	Java API: Updates, this is still work in progress.	2012-11-23 19:24:56 +00:00
ast	preparing handling of arrays/quantifiers, fix cover-related bugs reported by Arie	2012-11-25 12:08:49 -08:00
cmd_context	Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable	2012-11-20 10:43:05 -08:00
front_end_params	removing dead params	2012-11-22 16:36:46 -08:00
math	added READMEs	2012-11-17 09:32:01 -08:00
model	preparing handling of arrays/quantifiers, fix cover-related bugs reported by Arie	2012-11-25 12:08:49 -08:00
muz_qe	ensure there are enough variables	2012-11-25 16:53:13 -08:00
nlsat	bindings --> api; and moved nlsat/sat/subpaving tactics	2012-10-31 13:25:36 -07:00
parsers	added support for named assertions	2012-11-02 14:00:43 -07:00
sat	bindings --> api; and moved nlsat/sat/subpaving tactics	2012-10-31 13:25:36 -07:00
shell	Display version number using new format	2012-11-10 19:03:16 -08:00
smt	Simplified asserted_formulas. From now on, we should use tactics for qe, der, solve, etc.	2012-11-22 16:20:02 -08:00
solver	fixed bugs found in regression tests	2012-11-07 07:36:40 -08:00
tactic	removed dead file	2012-11-22 15:07:05 -08:00
test	Simplified asserted_formulas. From now on, we should use tactics for qe, der, solve, etc.	2012-11-22 16:20:02 -08:00
util	removed class	2012-11-22 15:21:57 -08:00