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-12.fc37.src
  • ✔ python3-devel
  • ✔ python3-devel = 3.11.0~b5-1.fc37
• cvc4-python3-1.8-12.fc37.x86_64
  • ✔ libpython3.11.so.1.0()(64bit)
  • ✔ python(abi) = 3.11