Nikolaj Bjorner ff72e3114b Merge branch 'opt' of https://github.com/nikolajbjorner/z3 into opt		2017-01-31 06:46:06 -08:00
..
sat_solver	updates	2017-01-30 21:23:53 -08:00
tactic	updates	2017-01-30 21:23:53 -08:00
card_extension.cpp	Merge branch 'opt' of https://github.com/nikolajbjorner/z3 into opt	2017-01-31 06:46:06 -08:00
card_extension.h	testing card_extension	2017-01-30 21:53:26 -08:00
dimacs.cpp
dimacs.h
sat_asymm_branch.cpp	fix memory leak in SAT solver exposed by regression tests	2016-01-06 11:44:55 -08:00
sat_asymm_branch.h
sat_asymm_branch_params.pyg
sat_clause.cpp	style/formatting	2016-09-16 19:34:48 +01:00
sat_clause.h	Fixed compiler warning	2016-11-14 17:42:20 +00:00
sat_clause_set.cpp	removing warnings for unused variables, #579	2016-05-17 15:59:06 -07:00
sat_clause_set.h
sat_clause_use_list.cpp
sat_clause_use_list.h
sat_cleaner.cpp
sat_cleaner.h
sat_config.cpp	adding parallel threads	2017-01-30 02:09:08 -08:00
sat_config.h	adding parallel threads	2017-01-30 02:09:08 -08:00
sat_elim_eqs.cpp
sat_elim_eqs.h
sat_extension.h	updates	2017-01-30 21:23:53 -08:00
sat_iff3_finder.cpp
sat_iff3_finder.h
sat_integrity_checker.cpp	remove sources for unused variable warnings	2016-12-21 09:54:45 -08:00
sat_integrity_checker.h
sat_justification.h	working on card for sat	2017-01-30 14:03:27 -08:00
sat_model_converter.cpp	reduce set of mainly verbose warnings raised by -Wmaybe-uninitialized and unused variable warnings from release mode builds	2016-06-22 20:25:47 -07:00
sat_model_converter.h
sat_mus.cpp	rework sat.mus to use restart count for bounded minimization	2017-01-26 13:28:40 -08:00
sat_mus.h	rework sat.mus to use restart count for bounded minimization	2017-01-26 13:28:40 -08:00
sat_par.cpp	adding parallel threads	2017-01-30 02:09:08 -08:00
sat_par.h	adding parallel threads	2017-01-30 02:09:08 -08:00
sat_params.pyg	updates	2017-01-30 21:23:53 -08:00
sat_probing.cpp	Fixed iterator invalidation bug in SAT probing. Relates to #798.	2016-11-26 14:07:05 +00:00
sat_probing.h	Fixed potential SAT solver cleanup problem. Renamed functions for consistency. Relates to #570.	2016-11-14 17:42:21 +00:00
sat_scc.cpp
sat_scc.h
sat_scc_params.pyg
sat_simplifier.cpp	fix bug in sat-simplifier decreasing heap values of variables that are not in the heap	2017-01-25 16:21:51 -08:00
sat_simplifier.h	Fixed potential SAT solver cleanup problem. Renamed functions for consistency. Relates to #570.	2016-11-14 17:42:21 +00:00
sat_simplifier_params.pyg
sat_solver.cpp	testing card_extension	2017-01-30 21:53:26 -08:00
sat_solver.h	updates	2017-01-30 21:23:53 -08:00
sat_types.h	experimenting with cardinalities	2017-01-27 16:12:46 -08:00
sat_var_queue.h
sat_watched.cpp
sat_watched.h