cvc3 package in Ubuntu
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.1ubuntu1
*actual publishing details may vary in this distribution, these are just the package defaults.
Upstream connections
This project is for the packaging and releasing CVC3 SMT Solver binaries.
- Bug supervisor:
- Bug tracker:
- Branch:
There are no registered releases for the CVC3 Packaging ⇒ trunk.
| The Bionic Beaver (supported) | ||
|
|
release (universe) | |
| The Xenial Xerus (supported) | ||
|
|
release (universe) | |
| The Trusty Tahr (supported) | ||
|
|
release (universe) | |
The following unsupported and untrusted Personal Archives (PPAs) provide packages of 'cvc3':
-
PPA named experimental owned by Bhavani Shankar
- Versions: Zesty (2.4.1-5.1ubuntu1)
You can also search for other untrusted versions of 'cvc3'.
