cryptominisat 5.11.22-2

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: 896.1 KB
Installed Size: 2.3 MB
Last Packager: Antonio Rojas
Build Date: 2024-08-31 08:10 UTC
Signed By: Antonio Rojas
Signature Date: 2024-08-31 08:13 UTC
Last Updated: 2024-08-31 08:14 UTC

Dependencies (14)

Required By (2)