Fedora 30 Update: cadical-1.0.3-3.fc30
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2019-d03acc263f
2019-08-02 01:00:43.011667
--------------------------------------------------------------------------------
Name : cadical
Product : Fedora 30
Version : 1.0.3
Release : 3.fc30
URL : http://fmv.jku.at/cadical/
Summary : Simplified SAT solver
Description :
CaDiCaL is a simplified Satisfiability solver. The goal of the
development of CaDiCaL is to obtain a CDCL solver, which is easy to
understand and change, while at the same time not being much slower
than other state-of-the-art CDCL solvers.
--------------------------------------------------------------------------------
Update Information:
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.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jul 24 2019 Jerry James <loganjerry(a)gmail.com> - 1:1.0.3-3
- Bump Epoch to fix upgrades from version 06w
* Mon Jul 22 2019 Jerry James <loganjerry(a)gmail.com> - 1.0.3-2
- Add ccadical.h to the -devel subpackage (bz 1731887)
* Sat Jul 13 2019 Jerry James <loganjerry(a)gmail.com> - 1.0.3-1
- New upstream version
- Drop upstreamed -32bit patch
* Fri Jul 12 2019 Jerry James <loganjerry(a)gmail.com> - 1.0.2-1
- New upstream version
* Sat Jun 29 2019 Jerry James <loganjerry(a)gmail.com> - 1.0.0-1
- New upstream version
* Wed Jun 12 2019 Jerry James <loganjerry(a)gmail.com> - 0-1.sr19
- New upstream version
- Adapt to upstream version scheme
- Drop upstreamed -vector patch
- Add -32bit patch
- Add man pages
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1731031 - cvc4: symbol lookup error: /lib64/libcvc4.so.6: undefined symbol:
_ZN7CaDiCaL6Solver3setEPKci
https://bugzilla.redhat.com/show_bug.cgi?id=1731031
[ 2 ] Bug #1731887 - ccadical.h not present in cadical-devel
https://bugzilla.redhat.com/show_bug.cgi?id=1731887
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2019-d03acc263f' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label
All packages are signed with the Fedora Project GPG key. More details on the
GPG keys used by the Fedora Project can be found at
https://fedoraproject.org/keys
--------------------------------------------------------------------------------