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

local USE flag
z3

Packages describing “z3” as local USE flag

Package“z3” Flag Description
dev-util/ropperEnable Z3 contraint solver support
sci-mathematics/vampireEnable support for sci-mathematics/z3
sys-devel/llvmEnable support for sci-mathematics/z3 constraint solver

All packages providing a “z3” USE flag (2)