OKullmann/oklibrary — pull request #395 by MGwynne (2012-03-06 18:34:50+00:00)
Title: Sat2012 comp

Branch: sat2012_comp.

Adding todo with deadlines for the SAT2012 competitions.

The history has been rewritten - this includes:
- not making global milestones more difficult;
- adding additional description of the steps from milestone 0.3 to 0.3.1;
- correcting incorrect dates.

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