Description
cryptominisat (SAT solver)
| Distribution | Slackware 15.0 |
| Repository | Slackonly |
| Package name | |
| Package simple name | cryptominisat |
| Package Link | https://slackonly.com/pub/packages/15.0-x86_64/./academic/cryptominisat/cryptominisat-5.7.1-x86_64-1_slonly.txz |
| Package size (compressed) | 456 K |
| Package size (uncompressed) | 1360 K |