Package cvc4

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

Bugs

• #1967190 cvc4 fails to build in Fedora 35+: Broken RPATH will fail rpmbuild (for F35FTBFS)
  CLOSED ERRATA
  Updated 2021-06-11

RPMs

• cvc4-1.8-7.fc35.src
  • ✔ python3-devel
  • ✔ python3-devel = 3.10.0-2.fc36
• cvc4-python3-1.8-7.fc35.x86_64
  • ✔ libpython3.10.so.1.0()(64bit)
  • ✔ python(abi) = 3.10