Pakiet: libz3-java (4.8.12-1)
Odnośniki dla libz3-java
Zasoby systemu Trisquel:
- Install using apturl
- Entry at directory.fsf.org
- Raporty o błędach
- Changelog
- Informacje nt. praw autorskich
Pobieranie pakietu źródłowego z3:
Opiekun:
Original Maintainers:
- LLVM Packaging Team (Archiwum e-mail)
- Fabian Wolff
Zasoby zewnętrzne:
- Strona internetowa [github.com]
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
|
|
|
Pobieranie libz3-java
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
amd64 | 155,8 KiB | 184 KiB | [lista plików] |
arm64 | 155,8 KiB | 184 KiB | [lista plików] |
armhf | 155,8 KiB | 184 KiB | [lista plików] |
i386 | 155,8 KiB | 184 KiB | [lista plików] |
ppc64el | 155,8 KiB | 184 KiB | [lista plików] |