cvc4-1.4-11.fc25.x86_64.rpm


Advertisement

Description

cvc4 - Automatic theorem prover for SMT problems

Distribution: Fedora 25
Repository: Fedora x86_64
Package name: cvc4
Package version: 1.4
Package release: 11.fc25
Package architecture: x86_64
Package type: rpm
Installed size: 861.99 KB
Download size: 279.08 KB
Official Mirror: dl.fedoraproject.org
CVC4 is an efficient open-source 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. CVC4 is the fourth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, CVC3) but does not directly incorporate code from any previous version. A joint project of NYU and U Iowa, CVC4 aims to support the features of CVC3 and SMT-LIBv2 while optimizing the design of the core system architecture and decision procedures to take advantage of recent engineering and algorithmic advances. CVC4 is intended to be an open and extensible SMT engine, and it can be used as a stand-alone tool or as a library, with essentially no limit on its use for research or commercial purposes.

Alternatives

Provides

  • cvc4 = 1.4-11.fc25
  • cvc4(x86-64) = 1.4-11.fc25
  • lfsc = 1.4-11.fc25

Obsoletes

  • lfsc < 1.0-1.fc25

    Download

    Source package: cvc4-1.4-11.fc25.src.rpm

    Install Howto

    Install the cvc4 rpm package:

    # dnf install cvc4

    Files

    • /usr/bin/cvc4
    • /usr/bin/lfsc-checker
    • /usr/bin/pcvc4
    • /usr/share/cvc4/sat.plf
    • /usr/share/cvc4/smt.plf
    • /usr/share/cvc4/th_arrays.plf
    • /usr/share/cvc4/th_base.plf
    • /usr/share/doc/cvc4/AUTHORS
    • /usr/share/doc/cvc4/AUTHORS.lfsc
    • /usr/share/doc/cvc4/NEWS
    • /usr/share/doc/cvc4/NEWS.lfsc
    • /usr/share/doc/cvc4/README
    • /usr/share/doc/cvc4/README.lfsc
    • /usr/share/doc/cvc4/RELEASE-NOTES
    • /usr/share/doc/cvc4/THANKS
    • /usr/share/licenses/cvc4/COPYING.lfsc
    • /usr/share/man/man1/cvc4.1.gz
    • /usr/share/man/man1/pcvc4.1.gz
    • /usr/share/man/man5/cvc4.5.gz

    Changelog

    2016-05-17 - Jonathan Wakely <jwakely@redhat.com> - 1.4-11 - Rebuilt for linker errors in boost (#1331983)

    2016-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 1.4-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild

    2016-01-15 - Jonathan Wakely <jwakely@redhat.com> - 1.4-9 - Rebuilt for Boost 1.60

    2015-08-27 - Jonathan Wakely <jwakely@redhat.com> - 1.4-8 - Rebuilt for Boost 1.59

    2015-07-29 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4-7 - Rebuilt for https://fedoraproject.org/wiki/Changes/F23Boost159

    2015-07-22 - David Tardon <dtardon@redhat.com> - 1.4-6 - rebuild for Boost 1.58

    2015-06-17 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild

    2015-05-02 - Kalev Lember <kalevlember@gmail.com> - 1.4-4 - Rebuilt for GCC 5 C++11 ABI change

    2015-03-20 - Jerry James <loganjerry@gmail.com> - 1.4-3 - Don't use perftools at all due to random weirdness on multiple platforms - Also Obsoletes/Provides lfsc-devel

    2015-03-11 - Jerry James <loganjerry@gmail.com> - 1.4-2 - Add -boolean, -minisat, and -signed patches to fix test failures - Fix boost detection with g++ 5.0 - Fix access to an uninitialized variable - Help the documentation generator find COPYING - Build with -fsigned-char to fix the arm build - Prevent rebuilds while running checks - Remove i686 from have_perftools due to test failures

    Advertisement
    Advertisement