OKullmann/oklibrary — pull request #420 by MGwynne (2012-05-18 11:57:32+00:00)
Title: hardness_page

Branch: hardness_page.

Adding landing page for investigations into hardness and good representations in SAT.

Matthew