gentoo.mahdi.cz
sci-mathematics
:cryptominisat
Advanced SAT solver with C++ and command-line interfaces
https://github.com/msoos/cryptominisat/
cryptominisat-5.11.21
GPL-2 MIT
download
~amd64 ~x86
gentoo
cryptominisat-5.11.15
GPL-2 MIT
download
~amd64 ~x86
gentoo