minisat 2.2.1.20201216-2
Architecture: | x86_64 |
---|---|
Repository: | Extra |
Description: | A minimalistic and high-performance SAT solver |
Upstream URL: | http://minisat.se/ |
License(s): | MIT |
Maintainers: |
Felix Yan |
Package Size: | 66.3 KB |
Installed Size: | 223.1 KB |
Last Packager: | T.J. Townsend |
Build Date: | 2024-07-12 23:14 UTC |
Signed By: | T.J. Townsend |
Signature Date: | 2024-07-12 23:14 UTC |
Last Updated: | 2024-07-12 23:18 UTC |