Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

local USE flag
minisat

Packages describing “minisat” as local USE flag

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

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