No Description
| Uploaded | Mon Feb 17 20:58:19 2014 |
| md5 checksum | 67267823c32cd1db3afaf95cd3a6836d |
| arch | x86_64 |
| build | 1 |
| build_number | 1 |
| depends | gmp |
| home_page | http://minisat.se/MiniSat+.html |
| license | BSD |
| name | minisat-plus |
| platform | linux |
| subdir | linux-64 |
| version | 1.0 |