OKullmann/oklibrary — pull request #402 by MGwynne (2012-03-08 09:57:51+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);
- editorial corrections (missing " etc);
- moving SAT2012 benchmark creation to earlier milestone,
higher milestones were not changed as the there wasn't a large effect on them.

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