OKullmann/oklibrary — pull request #400 by MGwynne (2012-03-07 11:04:48+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 (multiple times, and checking this again this time) (NEW);
- editorial corrections (missing " etc). (NEW)

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