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