sci-mathematics/stp – Gentoo Packages

Version 2.4.0 is available upstream. Please consider updating!
It seems that version 2.4.0 is available upstream, while the latest version in the Gentoo tree is 2.3.4-r1.
You think this warning is false? Read more about it here.

Available Versions

Version	amd64	x86	alpha	arm	arm64	hppa	mips	ppc	ppc64	riscv	sparc
2.3.4-r1 : 0/2.3.4 EAPI 8	~amd64	~x86	?alpha	?arm	?arm64	?hppa	?mips	?ppc	?ppc64	?riscv	?sparc

Package Metadata

Other homepage(s)
https://github.com/stp/stp/
Upstream
Bugs-To https://github.com/stp/stp/issues/
Remote-Id https://github.com/stp/stp
Full description
STP is a constraint solver (or SMT solver) aimed at solving constraints of bitvectors and arrays. These types of constraints can be generated by program analysis tools, theorem provers, automated bug finders, cryptographic attack tools, intelligent fuzzers, model checkers, and by many other applications.
USE flags
Local Use Flags
- cryptominisat
- +python
Global Use Flags
- debug
- test
python_single_target (Use Expand)
License
GPL-2+ MIT
Maintainer(s)
Gentoo Mathematics Project

External Resources

Git repository browser

Codeberg repository browser

Git log (short)

Changes Feed

Bugs-To	https://github.com/stp/stp/issues/
Remote-Id	https://github.com/stp/stp