Packages
Packages
| Package | “cryptominisat” Flag Description |
|---|---|
| sci-mathematics/stp | Enable sci-mathematics/cryptominisat support |
| sci-mathematics/boolector | Enable support for sci-mathematics/cryptominisat |