OKullmann/oklibrary — pull request #404 by MGwynne (2012-03-08 11:14:21+00:00)
Title: Sat2012 comp

Branch: sat2012_comp.

Adding todo with deadlines for the SAT2012 competitions.

The history has been rewritten - this includes (in reverse chronological order):
- updating link to SAT2012 guidelines (refers directly to SAT2011 guidelines - NEW);
- correcting commit messages (NEW);
- moving SAT2012 benchmark creation to first milestone,
higher milestones were not changed as the there wasn't a large effect on them;
- editorial corrections (missing " etc);
- correcting incorrect dates (multiple times, and checking this again this time);
- adding additional description of the steps from milestone 0.3 to 0.3.1;
- not making global milestones more difficult.

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