Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

sci-mathematics/
verit

An open, trustable and efficient SMT-prover

https://verit.loria.fr/

Dependencies Reverse-Dependencies

  • 2021.06.2
    VersionRDEPENDDEPENDBDEPENDIDEPENDPDEPEND
    dev-libs/gmp

The dependencies are regularly computed based on the qa-reports.