There are currently no open bugs.

"minisat2" versions published in Ubuntu

Groovy (1:2.2.1-5build2): universe/science
Focal (1:2.2.1-5build2): universe/science
Eoan (1:2.2.1-5build1): universe/science
Bionic (1:2.2.1-5build1): universe/science
Xenial (1:2.2.1-5): universe/science
Trusty (1:2.2.1-4): universe/science
Precise (1:2.2.1-3): universe/science