Gentoo Packages
Gentoo Packages
>
haskell
>
USE Flags
> link-z3-as-a-library
USE Flag: link-z3-as-a-library
Search
Search
Local and Metadata Descriptions
Metadata Descriptions (metadata.xml)
dev-haskell/liquid-fixpoint:
link z3 as a library for faster interactions with the SMT solver
Packages Using This Flag
Package
Local Description (use.local.desc)
Metadata Description (metadata.xml)
dev-haskell/liquid-fixpoint
-
link z3 as a library for faster interactions with the SMT solver