cryptominisat5 5.6.8-6.1

Architecture: i486
Repository: i486/community
Description: A modern, multi-threaded, feature-rich, simplifying SAT solver
Upstream URL:
License(s): MIT
Package Size: 491.90 kB
Installed Size: 1482.15 kB
Build Date: 2020-03-09 09:19:20
Last Updated: 2020-04-05 09:01:14

Dependencies (43)

Required By (1)