Package "cvc3"
Name: | cvc3 |
Description: |
An automatic theorem prover for SMT problems |
Latest version: | 2.2-13.1 |
Release: | precise (12.04) |
Level: | base |
Repository: | universe |
Homepage: | http://www.cs.nyu.edu/acsys/cvc3/ |
Links
Download "cvc3"
Other versions of "cvc3" in Precise
No other version of this package is available in the Precise release.Packages in group
Deleted packages are displayed in grey.
Changelog
Version: *DELETED* | 2012-03-06 10:09:48 UTC |
---|---|
No changelog for deleted or moved packages. |
Version: 2.2-13.1 | 2011-12-18 16:09:05 UTC |
---|---|
cvc3 (2.2-13.1) unstable; urgency=low * NMU. Change dependencies libgmp3-dev --> libgmp-dev. -- Steve M. Robbins Wed, 16 Mar 2011 21:43:31 -0500 |
Version: *DELETED* | 2011-12-18 14:07:36 UTC |
---|---|
No changelog for deleted or moved packages. |
About
-
Send Feedback to @ubuntu_updates