all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: sollya  ]

Package: libsollya-dev (8.0+ds-2 and others)

Links for libsollya-dev

Screenshot

Debian Resources:

Download Source Package sollya:

Maintainers:

External Resources:

Similar packages:

Bibliotek for sikker kodeudvikling med kommatal - udv.bibl.

Sollya er både et værktøjsmiljø og et bibliotek for sikker kodeudvikling med kommatal. Det tilbyder en nem måde at udføre beregninger med mange aritmetiske præcisionsinterval. Det er specielt målerettet den automatiske implementering af matematiske kommatalsbiblioteker.

Oprindelig blev Sollya lavet mere specifikt til folk, der implementerer numeriske funktioner i matematiske biblioteker (f.eks. exp, arccos, tanh, etc.). Siden da har værktøjet udviklet sig og er nu blevet interessant nok ikke kun for udviklere af matematiske biblioteker, men også for alle som ønsker at udføre numeriske eksperimenter i et miljø, som er sikkert med hensyn til afrundingsfejl.

Denne pakke tilbyder det statiske bibliotek, symbolske henvisninger og teksthovedfiler krævet for udvikling.

Tags: Software Development: Libraries, Role: Development Library

Other Packages Related to libsollya-dev

  • depends
  • recommends
  • suggests
  • enhances

Download libsollya-dev

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 8.0+ds-2+b2 868.9 kB7,966.0 kB [list of files]
amd64 8.0+ds-2+b4 731.4 kB4,303.0 kB [list of files]
arm64 8.0+ds-2+b4 689.7 kB4,207.0 kB [list of files]
armel 8.0+ds-2+b4 637.8 kB3,031.0 kB [list of files]
armhf 8.0+ds-2+b4 659.7 kB2,586.0 kB [list of files]
hppa (unofficial port) 8.0+ds-2+b3 731.8 kB4,135.0 kB [list of files]
i386 8.0+ds-2+b4 800.4 kB3,829.0 kB [list of files]
ia64 (unofficial port) 8.0+ds-2+b2 825.0 kB6,418.0 kB [list of files]
m68k (unofficial port) 8.0+ds-2+b4 626.5 kB3,194.0 kB [list of files]
mips64el 8.0+ds-2+b4 784.8 kB6,060.0 kB [list of files]
ppc64 (unofficial port) 8.0+ds-2+b4 746.6 kB5,079.0 kB [list of files]
ppc64el 8.0+ds-2+b4 770.2 kB5,053.0 kB [list of files]
riscv64 8.0+ds-2+b4 1,993.2 kB21,968.0 kB [list of files]
s390x 8.0+ds-2+b4 731.2 kB4,589.0 kB [list of files]
sh4 (unofficial port) 8.0+ds-2+b4 855.4 kB3,117.0 kB [list of files]
sparc64 (unofficial port) 8.0+ds-2+b4 641.8 kB4,343.0 kB [list of files]
x32 (unofficial port) 8.0+ds-2+b4 741.2 kB3,491.0 kB [list of files]