Gentoo Packages
Gentoo Packages
>
pypi
>
USE Flags
> z3
USE Flag: z3
Search
Search
Manage
Information:
euse -i z3
Enable:
euse -E z3
Disable:
euse -D z3
Warnings
Warning: USE flag 'z3' used by dev-python/cpmpy but has no description in metadata.xml, use.local.desc or use.desc
Packages Using This Flag
Package
Local Description (use.local.desc)
Metadata Description (metadata.xml)
dev-python/cpmpy
-
-