OKullmann/oklibrary — pull request #316 by MGwynne (2012-01-08 11:13:56+00:00)
Title: Solver installation

Branch: solver_installation.

Data on initial installation of various solvers from SAT2011.

Also installing latest version of lingeling which needs to be added to ExternalSources.

Matthew