Alle Optionen
bookworm  ] [  sid  ]
[ Quellcode: gappa  ]

Paket: gappa (1.4.1-1)

Links für gappa

Screenshot

Debian-Ressourcen:

Quellcode-Paket gappa herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

Automatic generation of proofs of arithmetic properties

Tool to help verify and prove properties on numerical programs dealing with either fixed-point or floating-point arithmetic.

Andere Pakete mit Bezug zu gappa

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

gappa herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
amd64 425,4 kB1.456,0 kB [Liste der Dateien]
arm64 394,9 kB1.464,0 kB [Liste der Dateien]
armel 382,5 kB1.333,0 kB [Liste der Dateien]
armhf 391,4 kB1.205,0 kB [Liste der Dateien]
i386 443,9 kB1.488,0 kB [Liste der Dateien]
mips64el 403,4 kB1.701,0 kB [Liste der Dateien]
mipsel 404,8 kB1.626,0 kB [Liste der Dateien]
ppc64el 424,8 kB1.592,0 kB [Liste der Dateien]
s390x 396,7 kB1.464,0 kB [Liste der Dateien]