Leonardo de Moura 9634d66699 Fix typo in tactic selection ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>		2012-12-15 08:10:48 -08:00
..
api	fix get_implied equalities and the unit test	2012-12-11 21:39:31 -08:00
ast	Fixed issues with the pretty printer	2012-12-13 15:19:37 -08:00
cmd_context	solver factories, cleanup solver API, simplified strategic solver, added combined solver	2012-12-11 17:47:27 -08:00
math	exposed subresultants aka psc-chain procedure	2012-12-09 16:47:37 -08:00
model	Added is_unique_value. Its semantics is equal to the old is_value method. The contract for is_value changed. See comments at ast.h for more information.	2012-12-07 12:53:51 -08:00
muz_qe	fixed unused variable warning	2012-12-13 14:09:52 -08:00
nlsat	Fixed bug reported by Yan Peng from UBC	2012-12-12 13:04:54 -08:00
parsers	solver factories, cleanup solver API, simplified strategic solver, added combined solver	2012-12-11 17:47:27 -08:00
sat	exposed sat params	2012-12-02 16:38:33 -08:00
shell	solver factories, cleanup solver API, simplified strategic solver, added combined solver	2012-12-11 17:47:27 -08:00
smt	Removed auxiliary constants created by the nnf tactic from Z3 models. Fixed model.compact parameter propagation problem.	2012-12-13 14:03:58 -08:00
solver	Removed dead code	2012-12-11 18:00:09 -08:00
tactic	Fix typo in tactic selection	2012-12-15 08:10:48 -08:00
test	fix get_implied equalities and the unit test	2012-12-11 21:39:31 -08:00
util	improved unknown parameter error msg	2012-12-10 18:46:02 -08:00