OKullmann/oklibrary — pull request #362 by MGwynne (2012-02-17 12:39:39+00:00)
Title: Adding todo with deadlines for SAT2012 competitions.

Branch: sat2012_comp.

Adding todo with deadlines for the SAT2012 competitions.

Matthew