Mon, 16 Jul 2012 04:48:50 -0700 |
Mike Pavone |
Submission prep
default tip
|
Mon, 16 Jul 2012 04:37:00 -0700 |
Mike Pavone |
Set executable on lifter shell script
|
Mon, 16 Jul 2012 04:35:43 -0700 |
Mike Pavone |
merge
|
Mon, 16 Jul 2012 04:35:24 -0700 |
Mike Pavone |
More submission prep
|
Mon, 16 Jul 2012 04:31:36 -0700 |
Mike Pavone |
Preparing for submission
|
Mon, 16 Jul 2012 04:03:03 -0700 |
Mike Pavone |
Updated heuristic
|
Mon, 16 Jul 2012 02:20:38 -0700 |
Mike Pavone |
Add cullwhenover option and more tuning results
|
Mon, 16 Jul 2012 01:55:04 -0700 |
Mike Pavone |
Add hashset based pruning
|