sci-mathematics/
boolector

Fast SMT solver for bit-vectors, arrays and uninterpreted functions

https://boolector.github.io/

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

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 riscv sparc
3.2.2_p20220110  : 0 ~amd64 ~x86 ?alpha ?arm ?arm64 ?hppa ?ia64 ?ppc ?ppc64 ?riscv ?sparc

Package Metadata