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
picosat
Packages describing “picosat” as local USE flag
Package
“picosat” Flag Description
sci-mathematics/boolector
Enable support for sci-mathematics/picosat
Packages