cryptominisat2 2.9.11-1
Package Actions
| Architecture: | i686 |
|---|---|
| Repository: | Community |
| Description: | SAT solver that aims to become a premier SAT solver with all the features and speed of successful SAT solvers, such as MiniSat and PrecoSat |
| Upstream URL: | http://www.msoos.org/cryptominisat2/ |
| License(s): | LGPL |
| Provides: | |
| Replaces: | |
| Conflicts: | |
| Maintainers: | Orphan |
| Package Size: | 389.8 kB |
| Installed Size: | 1.3 MB |
| Last Packager: | Antonio Rojas <arojas@archlinux.org> |
| Build Date: | 2016-10-28 20:17 UTC |
| Signed By: | Unknown (0x5D8A52E4) |
| Signature Date: | 2016-10-28 20:18 UTC |
| Last Updated: | 2017-05-14 07:18 UTC |