Fedora 20 Update: cryptominisat-2.9.9-1.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4233
2014-03-23 01:58:41
--------------------------------------------------------------------------------
Name : cryptominisat
Product : Fedora 20
Version : 2.9.9
Release : 1.fc20
URL : http://www.msoos.org/cryptominisat2/
Summary : SAT solver
Description :
CryptoMiniSat is a SAT solver that aims to become a premiere SAT solver
with all the features and speed of successful SAT solvers, such as
MiniSat and PrecoSat. The long-term goals of CryptoMiniSat are to be an
efficient sequential, parallel and distributed solver. There are
solvers that are good at one or the other, e.g. ManySat (parallel) or
PSolver (distributed), but we wish to excel at all.
CryptoMiniSat 2.5 won the SAT Race 2010 among 20 solvers submitted by
researchers and industry.
--------------------------------------------------------------------------------
Update Information:
Cryptominisat release notes for version 2.9.9:
- Fixes bug with addXorClause() Thanks to Lukas Prokop for reporting this bug.
Flint release notes for versions 2.4 and 2.4.2:
- see https://github.com/wbhart/flint2/blob/trunk/NEWS
Gap and libgap release notes for versions 4.7.2 through 4.7.4:
- http://www.gap-system.org/Manuals/doc/changes/chap2.html
Normaliz release notes for versions 2.8 through 2.10:
- Version 2.8 adds arbitrary Z-gradings and improves the performance considerably.
- Version 2.9 includes NmzIntegrate 1.0
- Version 2.10: improvement of NmzIntegrate and corrections in the exchange of data between Normaliz and NmzIntegrate
Gap-Browse release notes for versions 1.8.4 and 1.8.5:
- http://www.math.rwth-aachen.de/~Browse/CHANGES
Polymake release notes for versions 20131011 and 20131128:
- added libnormaliz as a bundled extension (20131011)
- jReality update
- polyparser (creates a polynomial from a string)
- ppl lp client c++ interface (bundled extension)
- various bug fixes and improvements
Macaulay2 was updated to use the interface for normaliz 2.8 and later.
Singular is now built with flint and polymake support.
Sagemath and stp were rebuilt due to changes in dependencies, but have no changes in and of themselves.
--------------------------------------------------------------------------------
ChangeLog:
* Tue Mar 18 2014 Jerry James <loganjerry(a)gmail.com> - 2.9.9-1
- New upstream release
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update cryptominisat' 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
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
10 years
Fedora 20 Update: libgap-4.7.4-1.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4233
2014-03-23 01:58:41
--------------------------------------------------------------------------------
Name : libgap
Product : Fedora 20
Version : 4.7.4
Release : 1.fc20
URL : https://bitbucket.org/vbraun/libgap
Summary : C library version of the GAP kernel
Description :
LibGAP -- a C library version of the GAP kernel (http://www.gap-system.org)
LibGAP is essentially a fork of the upstream GAP kernel. It is developed
in its own repository at https://bitbucket.org/vbraun/libgap. This is
also where the spkg metadata is tracked.
--------------------------------------------------------------------------------
Update Information:
Cryptominisat release notes for version 2.9.9:
- Fixes bug with addXorClause() Thanks to Lukas Prokop for reporting this bug.
Flint release notes for versions 2.4 and 2.4.2:
- see https://github.com/wbhart/flint2/blob/trunk/NEWS
Gap and libgap release notes for versions 4.7.2 through 4.7.4:
- http://www.gap-system.org/Manuals/doc/changes/chap2.html
Normaliz release notes for versions 2.8 through 2.10:
- Version 2.8 adds arbitrary Z-gradings and improves the performance considerably.
- Version 2.9 includes NmzIntegrate 1.0
- Version 2.10: improvement of NmzIntegrate and corrections in the exchange of data between Normaliz and NmzIntegrate
Gap-Browse release notes for versions 1.8.4 and 1.8.5:
- http://www.math.rwth-aachen.de/~Browse/CHANGES
Polymake release notes for versions 20131011 and 20131128:
- added libnormaliz as a bundled extension (20131011)
- jReality update
- polyparser (creates a polynomial from a string)
- ppl lp client c++ interface (bundled extension)
- various bug fixes and improvements
Macaulay2 was updated to use the interface for normaliz 2.8 and later.
Singular is now built with flint and polymake support.
Sagemath and stp were rebuilt due to changes in dependencies, but have no changes in and of themselves.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Mar 19 2014 Jerry James <loganjerry(a)gmail.com> - 4.7.4-1
- New upstream release
* Wed Jan 15 2014 Jerry James <loganjerry(a)gmail.com> - 4.7.2-1
- New upstream release
- Drop upstreamed -arch patch
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update libgap' 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
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
10 years
Fedora 20 Update: normaliz-2.10.1-2.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4233
2014-03-23 01:58:41
--------------------------------------------------------------------------------
Name : normaliz
Product : Fedora 20
Version : 2.10.1
Release : 2.fc20
URL : http://www.mathematik.uni-osnabrueck.de/normaliz/
Summary : A tool for mathematical computations
Description :
Normaliz is a tool for computations in affine monoids, vector
configurations, lattice polytopes, and rational cones.
Documentation and examples can be found in /usr/share/doc/normaliz,
in particular you may find Normaliz2.10.1Documentation.pdf useful.
--------------------------------------------------------------------------------
Update Information:
Cryptominisat release notes for version 2.9.9:
- Fixes bug with addXorClause() Thanks to Lukas Prokop for reporting this bug.
Flint release notes for versions 2.4 and 2.4.2:
- see https://github.com/wbhart/flint2/blob/trunk/NEWS
Gap and libgap release notes for versions 4.7.2 through 4.7.4:
- http://www.gap-system.org/Manuals/doc/changes/chap2.html
Normaliz release notes for versions 2.8 through 2.10:
- Version 2.8 adds arbitrary Z-gradings and improves the performance considerably.
- Version 2.9 includes NmzIntegrate 1.0
- Version 2.10: improvement of NmzIntegrate and corrections in the exchange of data between Normaliz and NmzIntegrate
Gap-Browse release notes for versions 1.8.4 and 1.8.5:
- http://www.math.rwth-aachen.de/~Browse/CHANGES
Polymake release notes for versions 20131011 and 20131128:
- added libnormaliz as a bundled extension (20131011)
- jReality update
- polyparser (creates a polynomial from a string)
- ppl lp client c++ interface (bundled extension)
- various bug fixes and improvements
Macaulay2 was updated to use the interface for normaliz 2.8 and later.
Singular is now built with flint and polymake support.
Sagemath and stp were rebuilt due to changes in dependencies, but have no changes in and of themselves.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jan 15 2014 Jerry James <loganjerry(a)gmail.com> - 2.10.1-2
- Fix thinko in -devel dependencies
* Tue Jan 14 2014 Jerry James <loganjerry(a)gmail.com> - 2.10.1-1
- New upstream release
- Package libnormaliz and jNormaliz separately
* Wed Aug 21 2013 Ville Skyttä <ville.skytta(a)iki.fi> - 2.7-8
- Adjust for unversioned %{_docdir_fmt} (#994006).
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update normaliz' 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
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
10 years
Fedora 20 Update: flint-2.4.2-1.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4233
2014-03-23 01:58:41
--------------------------------------------------------------------------------
Name : flint
Product : Fedora 20
Version : 2.4.2
Release : 1.fc20
URL : http://www.flintlib.org/
Summary : Fast Library for Number Theory
Description :
FLINT is a C library for doing number theory, written by William Hart
and David Harvey.
--------------------------------------------------------------------------------
Update Information:
Cryptominisat release notes for version 2.9.9:
- Fixes bug with addXorClause() Thanks to Lukas Prokop for reporting this bug.
Flint release notes for versions 2.4 and 2.4.2:
- see https://github.com/wbhart/flint2/blob/trunk/NEWS
Gap and libgap release notes for versions 4.7.2 through 4.7.4:
- http://www.gap-system.org/Manuals/doc/changes/chap2.html
Normaliz release notes for versions 2.8 through 2.10:
- Version 2.8 adds arbitrary Z-gradings and improves the performance considerably.
- Version 2.9 includes NmzIntegrate 1.0
- Version 2.10: improvement of NmzIntegrate and corrections in the exchange of data between Normaliz and NmzIntegrate
Gap-Browse release notes for versions 1.8.4 and 1.8.5:
- http://www.math.rwth-aachen.de/~Browse/CHANGES
Polymake release notes for versions 20131011 and 20131128:
- added libnormaliz as a bundled extension (20131011)
- jReality update
- polyparser (creates a polynomial from a string)
- ppl lp client c++ interface (bundled extension)
- various bug fixes and improvements
Macaulay2 was updated to use the interface for normaliz 2.8 and later.
Singular is now built with flint and polymake support.
Sagemath and stp were rebuilt due to changes in dependencies, but have no changes in and of themselves.
--------------------------------------------------------------------------------
ChangeLog:
* Mon Mar 17 2014 Jerry James <loganjerry(a)gmail.com> - 2.4.2-1
- New upstream release
* Mon Feb 10 2014 Jerry James <loganjerry(a)gmail.com> - 2.4.1-1
- New upstream release
- Enable C++ interface
- Tests now work on 32-bit systems
- Minimize the set of LaTeX BRs
- Enable verbose build
- Link with Fedora LDFLAGS
- On ARM arches, disable tests that exhaust virtual memory while compiling
- Add -fno-strict-aliasing to the test program builds, due to violations of
the strict aliasing rules in some of the C++ tests
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update flint' 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
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
10 years
Fedora 20 Update: polymake-2.12-14.svn20131128.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4233
2014-03-23 01:58:41
--------------------------------------------------------------------------------
Name : polymake
Product : Fedora 20
Version : 2.12
Release : 14.svn20131128.fc20
URL : http://polymake.org/
Summary : Algorithms on convex polytopes and polyhedra
Description :
Polymake is a tool to study the combinatorics and the geometry of convex
polytopes and polyhedra. It is also capable of dealing with simplicial
complexes, matroids, polyhedral fans, graphs, tropical objects, and so
forth.
Polymake can use various computational packages if they are installed.
Those available from Fedora are: 4ti2, azove, gfan, latte-integrale,
normaliz, ocaml-tplib-tools, qhull, Singular, TOPCOM, and vinci.
Polymake can interface with various visualization packages if they are
installed. Install one or more of the tools from the following list:
evince, geomview, graphviz, gv, and okular.
--------------------------------------------------------------------------------
Update Information:
Cryptominisat release notes for version 2.9.9:
- Fixes bug with addXorClause() Thanks to Lukas Prokop for reporting this bug.
Flint release notes for versions 2.4 and 2.4.2:
- see https://github.com/wbhart/flint2/blob/trunk/NEWS
Gap and libgap release notes for versions 4.7.2 through 4.7.4:
- http://www.gap-system.org/Manuals/doc/changes/chap2.html
Normaliz release notes for versions 2.8 through 2.10:
- Version 2.8 adds arbitrary Z-gradings and improves the performance considerably.
- Version 2.9 includes NmzIntegrate 1.0
- Version 2.10: improvement of NmzIntegrate and corrections in the exchange of data between Normaliz and NmzIntegrate
Gap-Browse release notes for versions 1.8.4 and 1.8.5:
- http://www.math.rwth-aachen.de/~Browse/CHANGES
Polymake release notes for versions 20131011 and 20131128:
- added libnormaliz as a bundled extension (20131011)
- jReality update
- polyparser (creates a polynomial from a string)
- ppl lp client c++ interface (bundled extension)
- various bug fixes and improvements
Macaulay2 was updated to use the interface for normaliz 2.8 and later.
Singular is now built with flint and polymake support.
Sagemath and stp were rebuilt due to changes in dependencies, but have no changes in and of themselves.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Mar 12 2014 Jerry James <loganjerry(a)gmail.com> - 2.12-14.svn20131128
- Build with Singular support
- Make transitive dependency on eigen3 (via sympol) explicit
* Sat Jan 18 2014 Jerry James <loganjerry(a)gmail.com> - 2.12-13.svn20131128
- Update Requires filters
* Fri Jan 17 2014 Jerry James <loganjerry(a)gmail.com> - 2.12-12.svn20131128
- Update to latest "perpetual beta" for bug fixes
- Enable building new ppl and libnormaliz extensions
* Wed Jan 8 2014 Jerry James <loganjerry(a)gmail.com> - 2.12-11.svn20130813
- Rebuild for perl 5.18.2
- Add -format patch to fix -Werror=format-security failure
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update polymake' 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
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
10 years
Fedora 20 Update: gap-4.7.4-1.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4233
2014-03-23 01:58:41
--------------------------------------------------------------------------------
Name : gap
Product : Fedora 20
Version : 4.7.4
Release : 1.fc20
URL : http://www.gap-system.org/
Summary : Computational discrete algebra
Description :
GAP is a system for computational discrete algebra, with particular
emphasis on Computational Group Theory. GAP provides a programming
language, a library of thousands of functions implementing algebraic
algorithms written in the GAP language as well as large data libraries
of algebraic objects. GAP is used in research and teaching for studying
groups and their representations, rings, vector spaces, algebras,
combinatorial structures, and more.
This is a metapackage that requires the standard GAP components.
--------------------------------------------------------------------------------
Update Information:
Cryptominisat release notes for version 2.9.9:
- Fixes bug with addXorClause() Thanks to Lukas Prokop for reporting this bug.
Flint release notes for versions 2.4 and 2.4.2:
- see https://github.com/wbhart/flint2/blob/trunk/NEWS
Gap and libgap release notes for versions 4.7.2 through 4.7.4:
- http://www.gap-system.org/Manuals/doc/changes/chap2.html
Normaliz release notes for versions 2.8 through 2.10:
- Version 2.8 adds arbitrary Z-gradings and improves the performance considerably.
- Version 2.9 includes NmzIntegrate 1.0
- Version 2.10: improvement of NmzIntegrate and corrections in the exchange of data between Normaliz and NmzIntegrate
Gap-Browse release notes for versions 1.8.4 and 1.8.5:
- http://www.math.rwth-aachen.de/~Browse/CHANGES
Polymake release notes for versions 20131011 and 20131128:
- added libnormaliz as a bundled extension (20131011)
- jReality update
- polyparser (creates a polynomial from a string)
- ppl lp client c++ interface (bundled extension)
- various bug fixes and improvements
Macaulay2 was updated to use the interface for normaliz 2.8 and later.
Singular is now built with flint and polymake support.
Sagemath and stp were rebuilt due to changes in dependencies, but have no changes in and of themselves.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Mar 19 2014 Jerry James <loganjerry(a)gmail.com> - 4.7.4-1
- New upstream release
* Wed Feb 5 2014 Jerry James <loganjerry(a)gmail.com> - 4.6.5-2
- Update location of rpm macro file for rpm >= 4.11
- Add an AppData file
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update gap' 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
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
10 years
Fedora 20 Update: gap-Browse-1.8.5-1.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4233
2014-03-23 01:58:41
--------------------------------------------------------------------------------
Name : gap-Browse
Product : Fedora 20
Version : 1.8.5
Release : 1.fc20
URL : http://www.math.rwth-aachen.de/~Browse/
Summary : GAP browser for 2-dimensional arrays of data
Description :
The motivation for this package was to develop functions for an
interactive display of two-dimensional arrays of data, for example
character tables. They should be displayed with labeled rows and
columns, the display should allow some markup for fonts or colors, it
should be possible to search for entries, to sort rows or columns, to
hide and unhide information, to bind commands to keys, and so on.
To achieve this our package now provides three levels of functionality,
where in particular the first level may also be used for completely
other types of applications:
- A low level interface to ncurses: This may be interesting for all
kinds of applications which want to display text with some markup and
colors, maybe in several windows, using the available capabilities of
a terminal.
- A medium level interface to a generic function NCurses.BrowseGeneric:
We introduce a new operation Browse which is meant as an interactive
version of Display for GAP objects. Then we provide a generic
function for browsing two-dimensional arrays of data, handles labels
for rows and columns, searching, sorting, binding keys to actions,
etc. This is for users who want to implement new methods for browsing
two-dimensional data.
- Applications of these interfaces: We provide some applications of the
ncurses interface and of the function NCurses.BrowseGeneric. These
may be interesting for end users, and also as examples for programmers
of further applications. This includes a method for browsing
character tables, several games, and an interface for demos.
--------------------------------------------------------------------------------
Update Information:
Cryptominisat release notes for version 2.9.9:
- Fixes bug with addXorClause() Thanks to Lukas Prokop for reporting this bug.
Flint release notes for versions 2.4 and 2.4.2:
- see https://github.com/wbhart/flint2/blob/trunk/NEWS
Gap and libgap release notes for versions 4.7.2 through 4.7.4:
- http://www.gap-system.org/Manuals/doc/changes/chap2.html
Normaliz release notes for versions 2.8 through 2.10:
- Version 2.8 adds arbitrary Z-gradings and improves the performance considerably.
- Version 2.9 includes NmzIntegrate 1.0
- Version 2.10: improvement of NmzIntegrate and corrections in the exchange of data between Normaliz and NmzIntegrate
Gap-Browse release notes for versions 1.8.4 and 1.8.5:
- http://www.math.rwth-aachen.de/~Browse/CHANGES
Polymake release notes for versions 20131011 and 20131128:
- added libnormaliz as a bundled extension (20131011)
- jReality update
- polyparser (creates a polynomial from a string)
- ppl lp client c++ interface (bundled extension)
- various bug fixes and improvements
Macaulay2 was updated to use the interface for normaliz 2.8 and later.
Singular is now built with flint and polymake support.
Sagemath and stp were rebuilt due to changes in dependencies, but have no changes in and of themselves.
--------------------------------------------------------------------------------
ChangeLog:
* Thu Mar 20 2014 Jerry James <loganjerry(a)gmail.com> - 1.8.5-1
- New upstream release
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update gap-Browse' 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
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
10 years
Fedora 20 Update: Macaulay2-1.5-5.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4233
2014-03-23 01:58:41
--------------------------------------------------------------------------------
Name : Macaulay2
Product : Fedora 20
Version : 1.5
Release : 5.fc20
URL : http://www.math.uiuc.edu/Macaulay2/
Summary : System for algebraic geometry and commutative algebra
Description :
Macaulay 2 is a new software system devoted to supporting research in
algebraic geometry and commutative algebra written by Daniel R. Grayson
and Michael E. Stillman
--------------------------------------------------------------------------------
Update Information:
Cryptominisat release notes for version 2.9.9:
- Fixes bug with addXorClause() Thanks to Lukas Prokop for reporting this bug.
Flint release notes for versions 2.4 and 2.4.2:
- see https://github.com/wbhart/flint2/blob/trunk/NEWS
Gap and libgap release notes for versions 4.7.2 through 4.7.4:
- http://www.gap-system.org/Manuals/doc/changes/chap2.html
Normaliz release notes for versions 2.8 through 2.10:
- Version 2.8 adds arbitrary Z-gradings and improves the performance considerably.
- Version 2.9 includes NmzIntegrate 1.0
- Version 2.10: improvement of NmzIntegrate and corrections in the exchange of data between Normaliz and NmzIntegrate
Gap-Browse release notes for versions 1.8.4 and 1.8.5:
- http://www.math.rwth-aachen.de/~Browse/CHANGES
Polymake release notes for versions 20131011 and 20131128:
- added libnormaliz as a bundled extension (20131011)
- jReality update
- polyparser (creates a polynomial from a string)
- ppl lp client c++ interface (bundled extension)
- various bug fixes and improvements
Macaulay2 was updated to use the interface for normaliz 2.8 and later.
Singular is now built with flint and polymake support.
Sagemath and stp were rebuilt due to changes in dependencies, but have no changes in and of themselves.
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 21 2014 Jerry James <loganjerry(a)gmail.com> - 1.5-5
- The normaliz patch was used; bring it back
- Complete the removal of the system_normaliz variable
- Link with RPM_LD_FLAGS
- Due to use of a static library, explicitly link with -lflint
* Fri Jan 24 2014 Rex Dieter <rdieter(a)fedoraproject.org> - 1.5-5
- drop unused patches (4ti2, normalize)
* Tue Jan 21 2014 Rex Dieter <rdieter(a)fedoraproject.org> - 1.5-4
- utilize %_libexecdir/Macaulay2/... for helper/system binaries
- libdir: %_libdir => %_prefix/lib
- -common subpkg option (not used yet)
* Tue Jan 14 2014 Jerry James <loganjerry(a)gmail.com> - 1.5-3
- Update normaliz interface for normaliz 2.8 and later
* Tue Jul 30 2013 Petr Machata <pmachata(a)redhat.com> - 1.5-2
- Rebuild for boost 1.54.0
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update Macaulay2' 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
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
10 years
Fedora 20 Update: sagemath-6.1.1-4.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4233
2014-03-23 01:58:41
--------------------------------------------------------------------------------
Name : sagemath
Product : Fedora 20
Version : 6.1.1
Release : 4.fc20
URL : http://www.sagemath.org
Summary : A free open-source mathematics software system
Description :
Sage is a free open-source mathematics software system licensed
under the GPL. It combines the power of many existing open-source
packages into a common Python-based interface.
--------------------------------------------------------------------------------
Update Information:
Cryptominisat release notes for version 2.9.9:
- Fixes bug with addXorClause() Thanks to Lukas Prokop for reporting this bug.
Flint release notes for versions 2.4 and 2.4.2:
- see https://github.com/wbhart/flint2/blob/trunk/NEWS
Gap and libgap release notes for versions 4.7.2 through 4.7.4:
- http://www.gap-system.org/Manuals/doc/changes/chap2.html
Normaliz release notes for versions 2.8 through 2.10:
- Version 2.8 adds arbitrary Z-gradings and improves the performance considerably.
- Version 2.9 includes NmzIntegrate 1.0
- Version 2.10: improvement of NmzIntegrate and corrections in the exchange of data between Normaliz and NmzIntegrate
Gap-Browse release notes for versions 1.8.4 and 1.8.5:
- http://www.math.rwth-aachen.de/~Browse/CHANGES
Polymake release notes for versions 20131011 and 20131128:
- added libnormaliz as a bundled extension (20131011)
- jReality update
- polyparser (creates a polynomial from a string)
- ppl lp client c++ interface (bundled extension)
- various bug fixes and improvements
Macaulay2 was updated to use the interface for normaliz 2.8 and later.
Singular is now built with flint and polymake support.
Sagemath and stp were rebuilt due to changes in dependencies, but have no changes in and of themselves.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Mar 19 2014 Jerry James <loganjerry(a)gmail.com> - 6.1.1-4
- Rebuild for libgap 4.7.4 and cryptominisat 2.9.9
* Mon Mar 10 2014 Rex Dieter <rdieter(a)fedoraproject.org> 6.1.1-3
- rebuild (Singular)
* Wed Feb 12 2014 pcpa <paulo.cesar.pereira.de.andrade(a)gmail.com> - 6.1.1-2
- Enable optional fes dependency
- Correct jmol applet interface
- Add missing python-twisted-mail requires (#1063061)
- Correct problems when starting sage for the first time as a new user
- Correct atlas library path for f21 or newer
* Fri Feb 7 2014 pcpa <paulo.cesar.pereira.de.andrade(a)gmail.com> - 6.1.1-1
- Update to sagemath 6.1.1
* Tue Jan 28 2014 pcpa <paulo.cesar.pereira.de.andrade(a)gmail.com> - 5.13-1
- Update to sagemath 5.13
* Fri Jan 17 2014 Jerry James <loganjerry(a)gmail.com> - 5.12-3
- Also adapt Requires to the new gap subpackage structure
* Wed Jan 15 2014 Jerry James <loganjerry(a)gmail.com> - 5.12-2
- Rebuild for libgap 4.7.2
- Adapt gap BRs to new gap subpackage structure
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update sagemath' 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
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
10 years
Fedora 20 Update: stp-0.1-19.20140319git.fe766c9.fc20
by updates@fedoraproject.org
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2014-4233
2014-03-23 01:58:41
--------------------------------------------------------------------------------
Name : stp
Product : Fedora 20
Version : 0.1
Release : 19.20140319git.fe766c9.fc20
URL : http://stp.github.io/stp/
Summary : Constraint solver/decision procedure
Description :
STP (Simple Theorem Prover) is a constraint solver (also referred to as
a decision procedure or automated prover) aimed at solving constraints
generated by program analysis tools, theorem provers, automated bug
finders, intelligent fuzzers and model checkers. STP has been used in
many research projects at Stanford, Berkeley, MIT, CMU and other
universities, as well as companies and government agencies.
The input to STP are formulas over the theory of bit-vectors and arrays
(this theory captures most expressions from languages like C/C++/Java
and Verilog), and the output of STP is a single bit of information that
indicates whether the formula is satisfiable or not. If the input is
satisfiable, then it also generates a variable assignment to satisfy the
input formula.
Additional information can be found at:
http://people.csail.mit.edu/vganesh/STP_files/stp.html
--------------------------------------------------------------------------------
Update Information:
Cryptominisat release notes for version 2.9.9:
- Fixes bug with addXorClause() Thanks to Lukas Prokop for reporting this bug.
Flint release notes for versions 2.4 and 2.4.2:
- see https://github.com/wbhart/flint2/blob/trunk/NEWS
Gap and libgap release notes for versions 4.7.2 through 4.7.4:
- http://www.gap-system.org/Manuals/doc/changes/chap2.html
Normaliz release notes for versions 2.8 through 2.10:
- Version 2.8 adds arbitrary Z-gradings and improves the performance considerably.
- Version 2.9 includes NmzIntegrate 1.0
- Version 2.10: improvement of NmzIntegrate and corrections in the exchange of data between Normaliz and NmzIntegrate
Gap-Browse release notes for versions 1.8.4 and 1.8.5:
- http://www.math.rwth-aachen.de/~Browse/CHANGES
Polymake release notes for versions 20131011 and 20131128:
- added libnormaliz as a bundled extension (20131011)
- jReality update
- polyparser (creates a polynomial from a string)
- ppl lp client c++ interface (bundled extension)
- various bug fixes and improvements
Macaulay2 was updated to use the interface for normaliz 2.8 and later.
Singular is now built with flint and polymake support.
Sagemath and stp were rebuilt due to changes in dependencies, but have no changes in and of themselves.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Mar 19 2014 Jerry James <loganjerry(a)gmail.com> - 0.1-19.20140319git.6110a49
- Update to recent git snapshot, now hosted on github
- Build now uses cmake
- Tests now need boolector, which has license problems. Disable %check for
now unless we can find something useful to do.
--------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use
su -c 'yum update stp' 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
https://fedoraproject.org/keys
--------------------------------------------------------------------------------
10 years