cryptominisat
Version 5.12.1-1.1 from cachyos-extra-znver4 (x86_64_v4)
- Description
- A modern, multi-threaded, feature-rich, simplifying SAT solver
- Source Files
- View Source Files
- License(s)
- MIT
- Build Date
- Packager
- CachyOS <admin@cachyos.org>
- Package Size
- 906.46 KB
- Installed Size
- 2.36 MB
- Download Mirror
- https://cdn77.cachyos.org/repo/x86_64_v4/cachyos-extra-znver4/cryptominisat-5.12.1-1.1-x86_64_v4.pkg.tar.zst
- SHA256 Sum
- 9ba85feb84da9a2a16ab05ef9fe45df9c9bc9c33da4665a15d51d75b1c6958ec
- Optional Deps
- Provides
- N/A
- Conflicts With
- N/A
- Replaces
- N/A
- Package Files