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)