6 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	aec5a38b14	fix memory leak in SAT solver exposed by regression tests ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2016-01-06 11:44:55 -08:00
Nikolaj Bjorner	6a3f75822d	fix format bug (issue 126) and smaller nits in sat solver (const annotation, disable elimination of external or already elimianted variables) ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2014-10-04 18:35:18 -07:00
Leonardo de Moura	40b1137b30	Fix issue https://z3.codeplex.com/workitem/47 ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2013-06-13 13:45:14 -07:00
Leonardo de Moura	0934cb06d8	exposed sat params ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2012-12-02 16:38:33 -08:00
Leonardo de Moura	cf28cbab0a	saved params work ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2012-11-29 17:19:12 -08:00
Leonardo de Moura	c66b9ab615	Reorganizing the code ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2012-10-20 15:30:42 -07:00

Renamed from lib/sat_asymm_branch.cpp (Browse further)