cryptominisat 5.14.5-1

Architecture: x86_64
Repository: Extra
Description: A modern, multi-threaded, feature-rich, simplifying SAT solver
Upstream URL:
License(s): MIT
Maintainers: Antonio Rojas
Package Size: 1.2 MB
Installed Size: 3.3 MB
Last Packager: Antonio Rojas
Build Date: 2026-06-02 14:19 UTC
Signed By: Antonio Rojas
Signature Date: 2026-06-02 14:23 UTC
Last Updated: 2026-06-02 14:24 UTC

Dependencies (13)

Required By (2)