Ubuntu
cvc3 package

cvc3 source package in Disco

cvc3: No summary available for cvc3 in ubuntu disco.
cvc3-dbgsym: debug symbols for package cvc3
cvc3-el: Emacs mode for CVC3
libcvc3-5-java: No summary available for libcvc3-5-java in ubuntu eoan.
libcvc3-5-jni: Java bindings for CVC3 (native library)
libcvc3-5-jni-dbgsym: No summary available for libcvc3-5-jni-dbgsym in ubuntu zesty.
libcvc3-5v5: No summary available for libcvc3-5v5 in ubuntu disco.
libcvc3-5v5-dbgsym: debug symbols for package libcvc3-5v5
libcvc3-dev: No summary available for libcvc3-dev in ubuntu artful.

Versions published

There is no current release of this source package in The Disco Dingo. You can still report bugs, make translations, and so on, but they might not be used until the package is published.

cvc3 information

No published releases of this package have been uploaded in Ubuntu Disco

Upstream connections

CVC3 Packaging ⇒ trunk

This project is for the packaging and releasing CVC3 SMT Solver binaries.

Bug supervisor: no
Bug tracker: yes
Branch: yes

There are no registered releases for the CVC3 Packaging ⇒ trunk.

Releases in Ubuntu