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 |