local USE flag
cryptominisat

Enable sci-mathematics/cryptominisat support

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)