套件： libcvc3-5-jni (2.4.1-4) [universe]

libcvc3-5-jni 的相關超連結

Ubuntu 的資源：

• 報告問題
• Ubuntu Changelog
• 版權文件

下載原始碼套件 cvc3：

• [cvc3_2.4.1-4.dsc]
• [cvc3_2.4.1.orig.tar.gz]
• [cvc3_2.4.1-4.debian.tar.gz]

維護者：

• Ubuntu MOTU Developers (郵件存檔)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

• Christopher L. Conway

It should generally not be necessary for users to contact the original maintainer.

外部的資源：

• 主頁 [www.cs.nyu.edu]

相似套件：

• libcvc3-2-jni
• libcvc3-2-java
• libcvc3-5-java
• libbrlapi-jni
• libcephfs-jni
• libjna-java
• cvc3-el
• libecj-java-gcj
• libisnativec-5.2-java
• libisnativec-java
• libsac-java-gcj

其他與 libcvc3-5-jni 有關的套件

• dep: libc6 (>= 2.1.3) [i386]

  Embedded GNU C Library: Shared libraries
  同時作為一個虛擬套件由這些套件提供： libc6-udeb

  dep: libc6 (>= 2.2.5) [amd64]

• dep: libcvc3-5 (>= 2.4.1)

  Automatic theorem prover library for SMT problems

• dep: libgcc1 (>= 1:4.1.1)

  GCC support library

• dep: libgmp10

  Multiprecision arithmetic library

• dep: libstdc++6 (>= 4.1.1)

  GNU Standard C++ Library v3

下載 libcvc3-5-jni