Back to Search
Description
Homepage
Source Files
Split Packages
Base Package
License(s)
Build Date
Packager
Package Size
Installed Size
Download Mirror
SHA256 Sum
Dependencies
Optional Deps
Provides
Conflicts With
Replaces
Package Files
CachyOS | cryptominisat - extra (x86_64)
Back to Search
cryptominisat
Version 5.13.0-1 from extra (x86_64)
Description
A modern, multi-threaded, feature-rich, simplifying SAT solver
Homepage
https://github.com/msoos/cryptominisat/
Source Files
View Source Files
License(s)
MIT
Build Date
3 Mar 2026, 23:05
Packager
Antonio Rojas <arojas@archlinux.org>
Package Size
1.12 MB
Installed Size
3.11 MB
Download Mirror
https://archlinux.cachyos.org/repo/extra/os/x86_64/cryptominisat-5.13.0-1-x86_64.pkg.tar.zst
SHA256 Sum
6d20f511e7c03b25555a4531b3baff8689d773e52c7bda100f9da06fe627a24d
Dependencies
glibc
gmp
libgcc
libstdc++
zlib
Optional Deps
python: python module
Provides
N/A
Conflicts With
N/A
Replaces
N/A
Package Files
View package files on Arch Linux website