cryptominisat5 5.6.8-2.2

Architecture: i486
Repository: i486/community
Description: A modern, multi-threaded, feature-rich, simplifying SAT solver
Upstream URL:
License(s): MIT
Package Size: 450.76 kB
Installed Size: 1529.00 kB
Build Date: 2019-05-14 12:07:31
Last Updated: 2019-05-21 18:09:39

Dependencies (39)

Required By (1)