Gentoo Packages
Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
  • 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

Bug Reports

  • sci-mathematics/stp-2.3.4 - QA Notice: Compatibility with CMake < 3.5 has been removed from CMake 4,
    957437 - Assigned to Jeffrey Lin
  • sci-mathematics/stp-2.3.4 fails tests: 9 - StrengthReduction_TestTests-gtest (Subprocess aborted)
    942340 - Assigned to Jeffrey Lin
  • sci-mathematics/stp-2.3.3-r2 help2man: can't get `--help' info from /var/tmp/portage/sci-mathematics/stp-2.3.3-r2/work/stp-2.3.3_build/stp
    895770 - Assigned to Gentoo musl team

Description

Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs:
  • File a new Bug
  • Confirm a bug
  • Participate in our monthly Bugday

Shortcuts

  • Packages Bugs (3)
  • Stabilization Bugs (0)
  • Keywording Bugs (0)
© 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