This undertaker update skips four versions (1.2 to 1.6), reflecting the time it took to get new dependencies into Fedora. Numerous improvements and bug fixes have been made in that time, reflected in the git logs available at https://vamos.informatik.uni-erlangen.de/gerrit/gitweb?p=undertaker.git;a=summary.
See http://fmv.jku.at/picosat/NEWS for the changes in picosat version 960.
This version of csisat is simply a rebuild against the new picosat build.
sudo dnf upgrade --advisory=FEDORA-2014-13602
Please login to add feedback.