Package: libsollya8 (8.0+ds-2 and others)

[ Source: sollya  ]

libreria per sviluppo sicuro di codice in virgola mobile -- libreria

Sollya è un ambiente di strumenti e una libreria per lo sviluppo sicuro di codice in virgola mobile. Permette di eseguire comodamente calcoli con aritmetica a intervalli con precisione multipla. È indirizzata particolarmente all'implementazione automatica di librerie matematiche in virgola mobile.

Inizialmente Sollya era pensato più specificamente per chi volesse implementare funzioni numeriche nelle librerie matematiche (ad esempio exp, arccos, tanh, ecc.), in seguito si è evoluto ed è ora diventato interessante non solo per gli sviluppatori di librerie matematiche, ma anche per tutti coloro che necessitano di eseguire esperimenti numerici in un ambiente sicuro riguardo agli errori di arrotondamento.

Questo pacchetto fornisce la libreria dinamica.

Tags: Role: Shared Library

Other Packages Related to libsollya8

• dep: libc6 (>= 2.34) [not alpha, ia64, sh4]

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.37) [sh4]

• dep: libc6.1 (>= 2.34) [alpha]

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6.1-udeb

  dep: libc6.1 (>= 2.37) [ia64]

• dep: libfplll8t64 (>= 5.4.0)

  libreria per la riduzione LLL di reticoli euclidei, runtime

• dep: libgcc-s1 (>= 3.0) [not armel, armhf, hppa, ia64, m68k, sh4]

  libreria di supporto a GCC

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

  dep: libgcc-s1 (>= 4.2) [ia64, sh4]

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  libreria di supporto a GCC

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  libreria di supporto a GCC

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  libreria aritmetica a precisione multipla

• dep: libmpfi0 (>= 1.5.1)

  multiple precision floating-point interval computation library -- lib

• dep: libmpfr6 (>= 3.1.3)

  calcoli in virgola mobile a precisione multipla

• dep: libstdc++6 (>= 13.1)

  libreria GNU Standard C++, versione 3

• dep: libunwind8 [ia64]

  libreria per tracciare la catena di chiamate di un programma - runtime

• dep: libxml2 (>= 2.7.4)

  libreria XML di GNOME

Download libsollya8

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	8.0+ds-2+b2	834.6 kB	3,144.0 kB	[list of files]
amd64	8.0+ds-2+b3	878.9 kB	2,667.0 kB	[list of files]
arm64	8.0+ds-2+b3	812.7 kB	2,691.0 kB	[list of files]
armel	8.0+ds-2+b3	760.4 kB	2,414.0 kB	[list of files]
armhf	8.0+ds-2+b3	789.1 kB	1,974.0 kB	[list of files]
hppa (unofficial port)	8.0+ds-2+b3	831.2 kB	3,210.0 kB	[list of files]
i386	8.0+ds-2+b3	928.2 kB	3,058.0 kB	[list of files]
ia64 (unofficial port)	8.0+ds-2+b2	934.7 kB	4,637.0 kB	[list of files]
m68k (unofficial port)	8.0+ds-2+b3	786.2 kB	2,426.0 kB	[list of files]
mips64el	8.0+ds-2+b3	749.2 kB	3,043.0 kB	[list of files]
ppc64 (unofficial port)	8.0+ds-2+b3	880.9 kB	3,331.0 kB	[list of files]
ppc64el	8.0+ds-2+b3	894.5 kB	3,203.0 kB	[list of files]
riscv64	8.0+ds-2+b3	887.3 kB	2,283.0 kB	[list of files]
s390x	8.0+ds-2+b3	867.4 kB	2,831.0 kB	[list of files]
sh4 (unofficial port)	8.0+ds-2+b2	974.3 kB	2,437.0 kB	[list of files]
sparc64 (unofficial port)	8.0+ds-2+b3	737.6 kB	3,344.0 kB	[list of files]
x32 (unofficial port)	8.0+ds-2+b3	892.4 kB	2,634.0 kB	[list of files]