Gentoo Packages

USE Flag: yices2

Search

Manage

Information: euse -i yices2
Enable: euse -E yices2
Disable: euse -D yices2

Local and Metadata Descriptions

Metadata Descriptions (metadata.xml)

sci-electronics/sby: Enable Yices2 SMT solver support

Local Descriptions (use.local.desc)

sci-electronics/sby: Enable Yices2 SMT solver support

Warnings

Warning: USE flag 'yices2' 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-electronics/sby	Enable Yices2 SMT solver support	Enable Yices2 SMT solver support