Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
local USE flag
cryptominisat
Enable sci-mathematics/cryptominisat support
Packages
Packages describing “cryptominisat” as local USE flag
Package
“cryptominisat” Flag Description
sci-mathematics/stp
Enable sci-mathematics/cryptominisat support
All packages providing a “cryptominisat” USE flag (1)
sci-mathematics/stp
Packages
Packages