Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
local USE flag
minisat
Enable support for sci-mathematics/minisat
Packages
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)
sci-mathematics/boolector
Packages
Packages