OKullmann/oklibrary — pull request #428 by MGwynne (2013-04-21 09:40:08+00:00)
Title: Updating lingeling to ala-b02aa1a-121013.

Branch: lingeling-ala.

Updating lingeling to ala-b02aa1a-121013.

Matthew