Ubuntu
cvc5 package

There are currently no open bugs.

"cvc5" versions published in Ubuntu

Plucky (1.1.2-2): universe/misc
Oracular (1.1.2-2): universe/misc
Noble (1.1.2-1build1): universe/misc