eLxr packages [ aria ]
[ Fonte: z3 ]
Pacote: libz3-jni (4.8.12-3.1)
Links para libz3-jni
Baixe o pacote-fonte z3:
Mantenedores(as):
Fontes externas:
- Pagina principal [github.com]
Pacotes similares:
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.
Outros pacotes relacionados a libz3-jni
|
|
|
|
-
- dep: libc6 (>= 2.4)
- GNU C Library: Shared libraries
também um pacote virtual fornecido por libc6-udeb
-
- dep: libz3-4 (>= 4.8.12)
- theorem prover from Microsoft Research - runtime libraries
-
- dep: libz3-dev (= 4.8.12-3.1)
- theorem prover from Microsoft Research - development files
Download de libz3-jni
| Arquitetura | Tamanho do pacote | Tamanho instalado | Arquivos |
|---|---|---|---|
| amd64 | 31.7 kB | 196.0 kB | [lista de arquivos] |