There are currently no open bugs.

"boolector" versions published in Ubuntu

Noble (1.5.118.6b56be4.121013-1.3): universe/science
Mantic (1.5.118.6b56be4.121013-1.3): universe/science
Jammy (1.5.118.6b56be4.121013-1.1): universe/science
Focal (1.5.118.6b56be4.121013-1build1): universe/science
Bionic (1.5.118.6b56be4.121013-1build1): universe/science
Xenial (1.5.118.6b56be4.121013-1): universe/science
Trusty (1.5.118.6b56be4.121013-1): universe/science