cryptominisat5 5.6.8-6.1

Architecture: i686
Repository: i686/community
Description: A modern, multi-threaded, feature-rich, simplifying SAT solver
Upstream URL:
License(s): MIT
Package Size: 498.02 kB
Installed Size: 1446.15 kB
Build Date: 2020-03-05 17:28:59
Last Updated: 2020-04-05 19:14:05

Dependencies (43)

Required By (1)