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 Packagingtrunk

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