- Name: libcvc3_5
- Version: 2.4.1
- Release: 0
- Epoch:
- Group: Sciences/Computer science
- License: BSD
- Url: http://cs.nyu.edu/acsys/cvc3/index.html
- Summary: Shared libraries for automatic SMT theorem proving
- Architecture: i586
- Size: 47656786
- Distribution: Mandriva Linux
- Vendor: Mandriva
- Packager: Pavel Shved <pavel.shved@rosalab.ru>
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.
- OptFlags: -O2 -g -frecord-gcc-switches -Wstrict-aliasing=2 -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector --param=ssp-buffer-size=4 -fomit-frame-pointer -mtune=generic -march=i586 -fasynchronous-unwind-tables
- Cookie: n2.mandriva.com 1320150368
- Buildhost: n2.mandriva.com
