Gentoo Packages
Gentoo Packages
>
USE Flags
> sylvan
USE Flag: sylvan
Search
Search
Manage
Information:
euse -i sylvan
Enable:
euse -E sylvan
Disable:
euse -D sylvan
Local and Metadata Descriptions
Metadata Descriptions (metadata.xml)
sci-mathematics/ltsmin:
Enable Sylvan BDD and LDDmc symbolic state-storage backends
Warnings
Warning: USE flag 'sylvan' is used in ebuilds/metadata but is not defined in profiles/use.desc
Packages Using This Flag
Package
Local Description (use.local.desc)
Metadata Description (metadata.xml)
sci-mathematics/ltsmin
-
Enable Sylvan BDD and LDDmc symbolic state-storage backends