wszystkie opcje
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Pakiet źródłowy: z3  ]

Pakiet: libz3-java (4.8.10-1)

Odnośniki dla libz3-java

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego z3:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

theorem prover from Microsoft Research - java bindings

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

This package can be used to invoke Z3 via its Java API.

Inne pakiety związane z libz3-java

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libz3-java

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 155,6 KiB183,0 KiB [lista plików]
arm64 155,6 KiB183,0 KiB [lista plików]
armel 155,6 KiB183,0 KiB [lista plików]
armhf 155,6 KiB183,0 KiB [lista plików]
i386 155,6 KiB183,0 KiB [lista plików]
mips64el 155,6 KiB183,0 KiB [lista plików]
mipsel 155,6 KiB183,0 KiB [lista plików]
ppc64el 155,6 KiB183,0 KiB [lista plików]
s390x 155,6 KiB183,0 KiB [lista plików]