cryptominisat2 2.9.11-1

Architecture: x86_64
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: 327.6 kB
Installed Size: 1.2 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:20 UTC

Dependencies (2)

Required By (0)