Gentoo Packages

USE Flag: proofs

Search

Manage

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

Local and Metadata Descriptions

Metadata Descriptions (metadata.xml)

sci-mathematics/cvc4: Support for proof generation

Local Descriptions (use.local.desc)

sci-mathematics/cvc4: Support for proof generation

Packages Using This Flag

Package	Local Description (use.local.desc)	Metadata Description (metadata.xml)
sci-mathematics/cvc4	Support for proof generation	Support for proof generation