UbuntuUpdates.org

Package "libz3-jni"

Name: libz3-jni

Description:

theorem prover from Microsoft Research - JNI library

Latest version: 4.4.0-5
Release: xenial (16.04)
Level: base
Repository: universe
Homepage: https://github.com/Z3Prover/z3

Links


Download "libz3-jni"


Other versions of "libz3-jni" in Xenial

No other version of this package is available in the Xenial release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates