euse -i link-z3-as-a-libraryeuse -E link-z3-as-a-libraryeuse -D link-z3-as-a-library| 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 |