Package - libz3-java
Primary informations
Download package: http://deb.debian.org/debian/pool/main/z/z3/libz3-java_4.13.3-1_amd64.deb (Size: 177.9KiB)| Property | Value |
|---|---|
| Package | libz3-java |
| Source | z3 |
| Version | 4.13.3-1 |
| Installed-Size | 204 |
| Maintainer | LLVM Packaging Team |
| Architecture | amd64 |
| Depends | libz3-jni (>= 4.13.3-1), libz3-jni (<< 4.13.3-1.1~), libz3-dev (= 4.13.3-1) |
| Description | theorem prover from Microsoft Research - java bindings |
| Description-md5 | d505595c221a87b96fe612e44ba98229 |
| Homepage | https://github.com/Z3Prover/z3 |
| Section | java |
| Priority | optional |
| Filename | pool/main/z/z3/libz3-java_4.13.3-1_amd64.deb |
| Size | 182208 |
| MD5sum | 24f515cf2131cbaa072c84980c098ef6 |
| SHA256 | 62a5c4baf897dc2560610f6b861a172b95dfe500701e88c5ba5f7ccee83287cd |
Files in package
- /usr/share/doc/libz3-java
- /usr/share/java/com.microsoft.z3.jar