There are currently no open bugs.

"sat4j" versions published in Ubuntu

Disco (2.3.5-0.3): universe/science
Cosmic (2.3.5-0.3): universe/science
Bionic (2.3.5-0.2): universe/science
Xenial (2.3.3-1): universe/science
Trusty (2.3.2-1): universe/science
Precise (2.3.1-1): universe/science