Mon, 25 Oct 2010 13:34:57 +0200 CONTRIBUTORS
haftmann [Mon, 25 Oct 2010 13:34:57 +0200] rev 40120
CONTRIBUTORS
Mon, 25 Oct 2010 12:24:38 +0200 merge
blanchet [Mon, 25 Oct 2010 12:24:38 +0200] rev 40119
merge
Mon, 25 Oct 2010 11:42:05 +0200 merged
blanchet [Mon, 25 Oct 2010 11:42:05 +0200] rev 40118
merged
Mon, 25 Oct 2010 10:38:41 +0200 updated keywords
blanchet [Mon, 25 Oct 2010 10:38:41 +0200] rev 40117
updated keywords
Mon, 25 Oct 2010 10:30:46 +0200 introduced manual version of "Auto Solve" as "solve_direct"
blanchet [Mon, 25 Oct 2010 10:30:46 +0200] rev 40116
introduced manual version of "Auto Solve" as "solve_direct"
Mon, 25 Oct 2010 09:29:43 +0200 make "sledgehammer_params" work on single-threaded platforms
blanchet [Mon, 25 Oct 2010 09:29:43 +0200] rev 40115
make "sledgehammer_params" work on single-threaded platforms
Fri, 22 Oct 2010 18:31:45 +0200 tuning
blanchet [Fri, 22 Oct 2010 18:31:45 +0200] rev 40114
tuning
Fri, 22 Oct 2010 18:24:10 +0200 handle timeouts (to prevent failure from other threads);
blanchet [Fri, 22 Oct 2010 18:24:10 +0200] rev 40113
handle timeouts (to prevent failure from other threads); removed needless functions; added "metis" to the mix
Mon, 25 Oct 2010 12:11:12 +0200 update keywords
haftmann [Mon, 25 Oct 2010 12:11:12 +0200] rev 40112
update keywords
Mon, 25 Oct 2010 10:45:22 +0200 some partial_function examples
krauss [Mon, 25 Oct 2010 10:45:22 +0200] rev 40111
some partial_function examples
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip