OKullmann/oklibrary — pull request #380 by MGwynne (2012-02-29 13:42:24+00:00)
Title: Sat2012 comp

Branch: sat2012_comp.

Adding todo with deadlines for the SAT2012 competitions.

The history has now been rewritten - this includes not making the global milestone more difficult.

Matthew