UbuntuUpdates.org

Package "libcvc3-5-jni"

Name: libcvc3-5-jni

Description:

Java bindings for CVC3 (native library)

Latest version: 2.4.1-5ubuntu1
Release: xenial (16.04)
Level: base
Repository: universe
Homepage: http://www.cs.nyu.edu/acsys/cvc3/

Links


Download "libcvc3-5-jni"


Other versions of "libcvc3-5-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