OKullmann/oklibrary — pull request #365 by MGwynne (2012-02-19 10:40:13+00:00)
Title: Sat2012 comp

Branch: sat2012_comp.

Adding todo with deadlines for the SAT2012 competitions.

Now with corrected metadata, milestone updates and additional clarifications.

Matthew