OKullmann/oklibrary — pull request #408 by MGwynne (2012-04-04 09:44:13+00:00)
Title: SAT Challenge 2012 requires a 1 to 2 page PDF document for each series of benchmarks.

Branch: sat2012_comp.

Adding note that PDF descriptions are now required for SAT challenge benchmarks.

Matthew