Package cvc5

Welcome to the future! This package does not support Python 2 at all. All is good in the world.


See cvc5 in the Fedora Pagure, or go directly to the corresponding spec file.

RPMs

  • cvc5-1.0.5-2.fc39.src
    • ✔ python3-devel
    • ✔ python3-devel = 3.12.0~b4-3.fc39
  • python3-cvc5-1.0.5-2.fc39.x86_64
    • ✔ python(abi) = 3.12

Maintainers