OKullmann/oklibrary — pull request #432 by MGwynne (2013-05-01 11:57:16+00:00)
Title: Adding extraction script for lingeling.

Branch: lingeling_extract.

Adding extraction script for lingeling.

Matthew