local USE flag
minisat

Enable support for sci-mathematics/minisat

Packages describing “minisat” as local USE flag

Package “minisat” Flag Description
sci-mathematics/boolector Enable support for sci-mathematics/minisat

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