Package cvc4

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


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

RPMs

  • cvc4-1.7-7.fc32.src
    • ✔ python3-devel
    • ✔ python3-devel = 3.8.1-1.fc32
  • cvc4-python3-1.7-7.fc32.x86_64
    • ✔ libpython3.8.so.1.0()(64bit)
    • ✔ python(abi) = 3.8

Maintainers