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
i386 155,6 KiB183,0 KiB [lista plików]