msoos/cryptominisat — pull request #64 by capiman (2013-03-29 13:40:38+00:00)
Title: CMS 2.9.7: Bugfix for multiple solutions, display number of found solutions

Small update for CMS 2.9.7:
- Bugfix for multiple solutions
- Display number of found solutions