OKullmann/oklibrary — pull request #370 by MGwynne (2012-02-19 16:55:39+00:00)
Title: Sat2012 comp

Branch: sat2012_comp.

Adding todo with deadlines for the SAT2012 competitions.

Changes (in order of pull-request):
1) Corrected metadata, milestone updates and additional clarifications.
2) Restructured milestones to make the next milestone actionable quickly. Also editorial corrections with superfluous newlines.
3) Further restructured milestones, moving DONE milestones into separate milestone, and marking 0.3.1 as a completed version number. Also editing history to remove use of "it's" as suggested.
4) Splitting milestones into smaller milestones which focus on certain tasks: getting the milestones into shape, advancing (quickly) the AES and DES investigations to their next minor version, and then working on the SAT2012 benchmarks.

Matthew