alle opties
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Bron: z3  ]

Pakket: libz3-jni (4.8.12-3.1)

Verwijzigingen voor libz3-jni

Screenshot

Debian bronnen:

Het bronpakket z3 downloaden:

Beheerders:

Externe bronnen:

Vergelijkbare pakketten:

theorem prover from Microsoft Research - JNI library

Z3 is a state-of-the-art theorem prover from Microsoft Research. See the z3 package for a detailed description.

This package provides the JNI library to invoke Z3 via its Java API.

Andere aan libz3-jni gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

libz3-jni downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
amd64 31,7 kB196,0 kB [overzicht]
arm64 29,9 kB204,0 kB [overzicht]
armel 27,8 kB156,0 kB [overzicht]
armhf 29,3 kB148,0 kB [overzicht]
i386 39,2 kB224,0 kB [overzicht]
mips64el 33,5 kB296,0 kB [overzicht]
mipsel 35,4 kB292,0 kB [overzicht]
ppc64el 35,4 kB268,0 kB [overzicht]
s390x 32,5 kB212,0 kB [overzicht]