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