cryptominisat
Version 5.12.1-1 from extra (x86_64)
- Description
- A modern, multi-threaded, feature-rich, simplifying SAT solver
- License(s)
- MIT
- Build Date
- Packager
- Antonio Rojas <arojas@archlinux.org>
- Package Size
- 899.84 KB
- Installed Size
- 2.33 MB
- Download Mirror
- https://cdn77.cachyos.org/repo/x86_64/extra/cryptominisat-5.12.1-1-x86_64.pkg.tar.zst
- SHA256 Sum
- 23d8f3084d9d32a93f1907575c78ea566058392a8ec9cd351f78ac5473fe18f8
- Optional Deps
- Provides
- N/A
- Conflicts With
- N/A
- Replaces
- N/A
- Package Files