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
sci-mathematics/boolector
Enable support for sci-mathematics/cryptominisat
All packages providing a “cryptominisat” USE flag (2)
sci-mathematics/boolector
sci-mathematics/stp