LCG Info: Package sollya 7.0
| Description: |
Both a tool environment and a library for safe floating-point code development |
| Homepage: |
http://sollya.gforge.inria.fr
|
| Category: |
Tool |
| Language: |
C++ |
| License: |
Laboratoire de l'Informatique du Parallelisme |
| Contacts: |
|
Choose a PKG Version from the dropdown menu below and the list of Releases will be updated accordingly |
| PKG Version: |
|
| Release: |
|
| Platforms: |
aarch64-centos7-gcc11-dbg,
aarch64-centos7-gcc11-opt,
aarch64-centos9-gcc11-dbg,
aarch64-centos9-gcc11-opt,
arm64-mac12-clang140-opt,
x86_64-centos7-clang12-dbg,
x86_64-centos7-clang12-opt,
x86_64-centos7-clang15-opt,
x86_64-centos7-gcc11-dbg,
x86_64-centos7-gcc11-opt,
x86_64-centos7-gcc12-dbg,
x86_64-centos7-gcc12-opt,
x86_64-centos9-gcc11-dbg,
x86_64-centos9-gcc11-opt,
x86_64-centos9-gcc12-dbg,
x86_64-centos9-gcc12-opt,
x86_64-mac11-clang120-opt,
x86_64-ubuntu2004-gcc9-opt,
x86_64-ubuntu2204-gcc11-opt
aarch64-centos7-gcc11-dbg,
aarch64-centos7-gcc11-opt,
aarch64-centos9-gcc11-dbg,
aarch64-centos9-gcc11-opt,
arm64-mac12-clang140-opt,
x86_64-centos7-clang12-dbg,
x86_64-centos7-clang12-opt,
x86_64-centos7-clang15-opt,
x86_64-centos7-gcc11-dbg,
x86_64-centos7-gcc11-opt,
x86_64-centos7-gcc12-dbg,
x86_64-centos7-gcc12-opt,
x86_64-centos9-gcc11-dbg,
x86_64-centos9-gcc11-opt,
x86_64-centos9-gcc12-dbg,
x86_64-centos9-gcc12-opt,
x86_64-mac11-clang120-opt,
x86_64-ubuntu2004-gcc9-opt,
x86_64-ubuntu2204-gcc11-opt
|