sci-mathematics/boolector – Gentoo Packages

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

Package Metadata

Other homepage(s)
https://github.com/Boolector/boolector/
Upstream
Documentation https://boolector.github.io/docs/index.html
Bugs-To https://github.com/Boolector/boolector/issues/
Remote-Id https://github.com/Boolector/boolector
Full description
Boolector is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions. It supports the SMT-LIB logics BV, QF_ABV, QF_AUFBV, QF_BV and QF_UFBV. Boolector provides a rich C and Python API and supports incremental solving, both with the SMT-LIB commands push and pop, and as solving under assumptions.
USE flags
Local Use Flags
Global Use Flags
python_single_target (Use Expand)
License
MIT
Maintainer(s)
Gentoo Mathematics Project

External Resources

Git repository browser

Git log (short)

Changes Feed

Documentation	https://boolector.github.io/docs/index.html
Bugs-To	https://github.com/Boolector/boolector/issues/
Remote-Id	https://github.com/Boolector/boolector