OKullmann/oklibrary — pull request #394 by MGwynne (2012-03-06 14:06: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, as well as adding additional description of the steps from milestone 0.3 to 0.3.1.

Despite the passing of the QBF deadline, I've left this in, and will make a separate pull request declaring that we aren't going to submit to this.

Matthew