CVC3 1.5

CVC3 checks the validity of many-sorted first-order formulas with theories.

Note that, on Fedora 7-9, dot consumes all memory and swap space before running out of memory and dying while trying to build the collaboration diagrams for several classes. I have disabled building of the collaboration diagrams in this release until I can determine whether this is a dot bug or pathological input to dot.

SRPMS

cvc3-1.5-1.src.rpm

Patch Descriptions

cvc3-1.5-build.patch

Makes RPM_OPT_FLAGS take effect by eliminating the hardwired compiler flags.

cvc3-1.5-doc.patch

Fix some problems, omissions, and typographical errors in the doxygen documentation.

cvc3-1.5-sharedlib.patch

Give the shared library an soname to make rpmlint be quiet. Also ensure that compilation produces PIC (Position Independent Code) on all platforms.

cvc3-1.5-wronk.patch

“Wrong” is spelled “wronk” in a few places, which is wrong.

cvc3-1.5-gcc43.patch

GCC 4.3 uses a streamlined header architecture that requires some header files to be included explicitly that used to be included implicitly. It also issues some new warnings.

SPECS

Once the license issue is resolved, this spec file will be used for submission to Fedora.

Back to the RPMS