This update adds ccadical.h to the cadical-devel subpackage, and bumps epoch on the cadical package to fix upgrades from version 06w. The cvc4 build is a simple rebuild for cadical.
Updates may require up to 24 hours to propagate to mirrors. If the following command doesn't work, please retry later:
sudo dnf upgrade --refresh --advisory=FEDORA-2019-d03acc263fPlease log in to add feedback.
This update has been submitted for testing by jjames.
This update test gating status has been changed to 'waiting'.
This update test gating status has been changed to 'ignored'.
This update has been pushed to testing.
problem still persists after updating to this version.
$ cvc4 cvc4: symbol lookup error: /lib64/libcvc4.so.6: undefined symbol: _ZN7CaDiCaL6Solver3setEPKci
demangled: CaDiCaL::Solver::set(char const*, int)
Bodhi is disabling automatic push to stable due to negative karma. The maintainer may push manually if they determine that the issue is not severe.
Seems to be a problem due to building with a different release of cadical than the one used in the official release:
The following command solves the issue:
$ sudo dnf install cadical --advisory=FEDORA-2019-24c26533c3 --enablerepo=updates-testing
FEDORA-2019-24c26533c3
This update has been unpushed.
jjames edited this update.
New build(s):
Karma has been reset.
This update has been submitted for testing by jjames.
This update has been pushed to testing.
thx
This update can be pushed to stable now if the maintainer wishes
This update has been submitted for stable by jjames.
This update has been pushed to stable.