Packages

Get Gentoo!

gentoo.org sites

gentoo.org Wiki Bugs Forums Packages

Planet Archives Sources

Home
Packages
Maintainers
USE flags
Architectures
About

sci-mathematics/
stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

https://stp.github.io/

Overview Dependencies QA report Pull requests 0 Bugs 3 Security 0 Changelog

Dependencies Reverse-Dependencies

2.3.4
2.3.3-r3

Description

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

© 2001–2025 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