| Name : libcvc3_5
| |
| Version : 2.4.1
| Vendor : Mandriva
|
| Release : 0
| Date : 2011-11-01 13:34:35
|
| Group : Sciences/Computer science
| Source RPM : cvc3-2.4.1-0.src.rpm
|
| Size : 45.45 MB
| |
| Packager : Pavel Shved < pavel_shved_rosalab_ru>
| |
| Summary : Shared libraries for automatic SMT theorem proving
|
Description :
CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT)
problems. It can be used to prove the validity (or, dually, the satisfiability)
of first-order formulas in a large number of built-in logical theories and
their combination.
CVC3 contains built-in support for theories for rational and integer linear
arithmetic, arrays, tuples, records, inductive data types, bit vectors, and
equality over uninterpreted function symbols. CVC3 also supports quantifiers.
This is a shared library with CVC3 for use in external applications.
|
RPM found in directory: /vol/rzm6/linux-mandriva/devel/cooker/i586/media/contrib/release |
