capiman/cryptominisat — pull request #1 by capiman (2013-01-19 16:40:21+00:00)
Title: Test MM

Test MM