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 | minisat - cachyos-extra-v3 (x86_64_v3)
Back to Search
minisat
Version 2.2.1.20201216-3.1 from cachyos-extra-v3 (x86_64_v3)
Description
A minimalistic and high-performance SAT solver
Homepage
http://minisat.se/
Source Files
View Source Files
License(s)
MIT
Build Date
23 Mar 2026, 10:15
Packager
CachyOS <admin@cachyos.org>
Package Size
76.74 KB
Installed Size
247.08 KB
Download Mirror
https://cdn77.cachyos.org/repo/x86_64_v3/cachyos-extra-v3/minisat-2.2.1.20201216-3.1-x86_64_v3.pkg.tar.zst
SHA256 Sum
87ab3754bb9098341bb9996757167e7299eae29241c19ccab6504b3b8ed9eabc
Dependencies
glibc
libgcc
libstdc++
zlib
Optional Deps
N/A
Provides
N/A
Conflicts With
N/A
Replaces
N/A
Package Files
Load package files