Package: libz3-jni
Source: z3
Version: 4.13.3-1.1
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Installed-Size: 237
Depends: libz3-dev (= 4.13.3-1.1), libc6 (>= 2.4), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 5), libz3-4 (>= 4.13.3)
Section: java
Priority: optional
Multi-Arch: same
Homepage: https://github.com/Z3Prover/z3
Description: 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.
