Hide Forgot
Description of problem: cvc4 cannot be executed due to a compiler/linker error $ cvc4 cvc4: symbol lookup error: /lib64/libcvc4.so.6: undefined symbol: _ZN7CaDiCaL6Solver3setEPKci Version-Release number of selected component (if applicable): $ dnf info cvc4 Last metadata expiration check: 0:15:31 ago on Thu Jul 18 09:07:13 2019. Installed Packages Name : cvc4 Version : 1.7 Release : 1.fc30 Architecture : x86_64 Size : 868 k Source : cvc4-1.7-1.fc30.src.rpm Repository : @System From repo : updates Summary : Automatic theorem prover for SMT problems URL : http://cvc4.cs.stanford.edu/ License : Boost and BSD and MIT Description : CVC4 is an efficient open-source automatic theorem prover for : satisfiability modulo theories (SMT) problems. It can be used to prove : the validity (or, dually, the satisfiability) of first-order formulas in : a large number of built-in logical theories and their combination. : : CVC4 is the fourth in the Cooperating Validity Checker family of tools : (CVC, CVC Lite, CVC3) but does not directly incorporate code from any : previous version. A joint project of NYU and U Iowa, CVC4 aims to : support the features of CVC3 and SMT-LIBv2 while optimizing the design : of the core system architecture and decision procedures to take : advantage of recent engineering and algorithmic advances. : : CVC4 is intended to be an open and extensible SMT engine, and it can be : used as a stand-alone tool or as a library, with essentially no limit on : its use for research or commercial purposes. How reproducible: Steps to Reproduce: 1. install cvc4 2. try to execute cvc4 Actual results: cvc4: symbol lookup error: /lib64/libcvc4.so.6: undefined symbol: _ZN7CaDiCaL6Solver3setEPKci Expected results: working binary Additional info: -
FEDORA-2019-d03acc263f has been submitted as an update to Fedora 30. https://bodhi.fedoraproject.org/updates/FEDORA-2019-d03acc263f
cvc4-1.7-3.fc30 has been pushed to the Fedora 30 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing for instructions on how to install test updates. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2019-d03acc263f
cadical-1.0.3-3.fc30, cvc4-1.7-3.fc30 has been pushed to the Fedora 30 testing repository. If problems still persist, please make note of it in this bug report. See https://fedoraproject.org/wiki/QA:Updates_Testing for instructions on how to install test updates. You can provide feedback for this update here: https://bodhi.fedoraproject.org/updates/FEDORA-2019-d03acc263f
cadical-1.0.3-3.fc30, cvc4-1.7-3.fc30 has been pushed to the Fedora 30 stable repository. If problems still persist, please make note of it in this bug report.