Gentoo Packages
Gentoo Packages
>
inode64-overlay
>
USE Flags
> z3
USE Flag: z3
Search
Search
Manage
Information:
euse -i z3
Enable:
euse -E z3
Disable:
euse -D z3
Local and Metadata Descriptions
Metadata Descriptions (metadata.xml)
llvm-core/llvm:
Enable support for <pkg>sci-mathematics/z3</pkg> constraint solver
Packages Using This Flag
Package
Local Description (use.local.desc)
Metadata Description (metadata.xml)
llvm-core/llvm
-
Enable support for <pkg>sci-mathematics/z3</pkg> constraint solver