cryptominisat2 2.9.11-1

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:
License(s): LGPL
Provides: cryptominisat
Replaces: cryptominisat<3
Conflicts: cryptominisat
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

Dependencies (2)

Required By (0)