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

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