Ubuntu
cvc3 package

cvc3 package in Ubuntu

cvc3: No summary available for cvc3 in ubuntu focal.
cvc3-dbgsym: debug symbols for cvc3
cvc3-el: Emacs mode for CVC3
libcvc3-5: Automatic theorem prover library for SMT problems
libcvc3-5-dbgsym: No summary available for libcvc3-5-dbgsym in ubuntu focal.
libcvc3-dev: Automatic theorem prover library for SMT problems (development files)

This package has 0 new bugs and 0 open questions.

Package information

Maintainer:
Ubuntu Developers
Urgency:*
Medium Urgency
Architectures:*
any all
Latest upload:
2.4.1-5.2ubuntu1

*actual publishing details may vary in this distribution, these are just the package defaults.

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.

The Eoan Ermine (current stable release)
2.4.1-5.2ubuntu1 release (universe) 2019-09-14
The Disco Dingo (supported)
2.4.1-5.1ubuntu1 release (universe) 2018-10-30
The Bionic Beaver (supported)
2.4.1-5.1ubuntu1 release (universe) 2017-10-24
The Xenial Xerus (supported)
2.4.1-5ubuntu1 release (universe) 2015-10-22
The Trusty Tahr (supported)
2.4.1-4ubuntu1 release (universe) 2014-02-04
The Precise Pangolin (supported)
2.2-13.1 release (universe) 2011-10-13