OKullmann/oklibrary — pull request #378 by MGwynne (2012-02-28 21:38:53+00:00)
Title: Sat2012 comp

Branch: sat2012_comp.

Adding todo with deadlines for the SAT2012 competitions.

The history has now been rewritten.

Matthew