sci-mathematics/opensmt – Gentoo Packages

Version 2.7.0 is available upstream. Please consider updating!
It seems that version 2.7.0 is available upstream, while the latest version in the Gentoo tree is 2.5.2.
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.5.2 : 0/2.5.2 EAPI 8	~amd64	~x86	?alpha	?arm	?arm64	?hppa	?mips	?ppc	?ppc64	?riscv	?sparc

Package Metadata

Other homepage(s)
https://github.com/usi-verification-and-security/opensmt/
Upstream
Bugs-To https://github.com/usi-verification-and-security/opensmt/issues/
Remote-Id https://github.com/usi-verification-and-security/opensmt
Full description
OpenSMT2 is an SMT solver written in C++. It supports reading files in SMT-LIB2 format and the theories QF_UF, QF_RDL, QF_IDL, QF_LRA, QF_LIA, QF_UFLRA, QF_UFLIA and QF_AX. The system also provides an API; the distribution includes a minimal example how to use the API.
USE flags
Global Use Flags
License
MIT
Maintainer(s)
Gentoo Mathematics Project

External Resources

Git repository browser

Git log (short)

Changes Feed

Bugs-To	https://github.com/usi-verification-and-security/opensmt/issues/
Remote-Id	https://github.com/usi-verification-and-security/opensmt