Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

local USE flag
cryptominisat

Packages describing “cryptominisat” as local USE flag

Package“cryptominisat” Flag Description
sci-mathematics/boolectorEnable support for sci-mathematics/cryptominisat
sci-mathematics/stpEnable sci-mathematics/cryptominisat support

All packages providing a “cryptominisat” USE flag (2)