cryptominisat5 5.8.0-1.0

Architecture: i686
Repository: i686/community
Description: A modern, multi-threaded, feature-rich, simplifying SAT solver
Upstream URL:
License(s): MIT
Package Size: 542.16 kB
Installed Size: 1528.84 kB
Build Date: 2020-09-06 02:46:01
Last Updated: 2020-09-13 05:59:38

Dependencies (45)

Required By (1)