There are currently no open bugs.

"cvc3" versions published in Ubuntu

Eoan (2.4.1-5.2ubuntu1): universe/math
Disco (2.4.1-5.1ubuntu1): universe/math
Bionic (2.4.1-5.1ubuntu1): universe/math
Xenial (2.4.1-5ubuntu1): universe/math
Trusty (2.4.1-4ubuntu1): universe/math
Precise (2.2-13.1): universe/math