Fedora 21 Update: csisat-1.2-16.fc21

updates at fedoraproject.org updates at fedoraproject.org
Fri Nov 14 12:09:10 UTC 2014

Fedora Update Notification
2014-10-27 07:53:02

Name        : csisat
Product     : Fedora 21
Version     : 1.2
Release     : 16.fc21
URL         : http://csisat.googlecode.com/
Summary     : Tool for LA+EUF Interpolation
Description :
CSIsat reads a set of mathematical formulas that may combine variables,
addition, multiplication, comparisons (<,>, etc.), as well as boolean
expressions (and, or, not).  It determines if it is possible to set the
variables to values so that the set of formulas are all simultaneously true
(if it can, then the set of formulas is "satisfiable").

More technically, CSIsat is an interpolating decision procedure for the
quantifier-free theory of rational linear arithmetic (LA) and equality with
uninterpreted function (EUF) symbols.  This implementation combines the
efficiency of linear programming for solving the arithmetic part with the
efficiency of a SAT solver to reason about the boolean structure.

Update Information:

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.

This update can be installed with the "yum" update program.  Use
su -c 'yum update csisat' at the command line.
For more information, refer to "Managing Software with yum",
available at http://docs.fedoraproject.org/yum/.

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

More information about the package-announce mailing list