Packages

Get Gentoo!

gentoo.org sites

gentoo.org Wiki Bugs Forums Packages

Planet Archives Sources

Home
Packages
Maintainers
USE flags
Architectures
About

local USE flag
mcsat

Packages describing “mcsat” as local USE flag

Package	“mcsat” Flag Description
sci-mathematics/yices2	Enable support for MCSAT

© 2001–2024 Gentoo Authors
Gentoo is a trademark of the Gentoo Foundation, Inc. and of Förderverein Gentoo e.V. The contents of this document, unless otherwise expressly stated, are licensed under the CC-BY-SA-4.0 license. The Gentoo Name and Logo Usage Guidelines apply.

Contact
v1.0.3