cvc3-2.4.1-1-omv2013.0.x86_64.rpm


Advertisement

Description

cvc3 - Automatic theorem prover for Satisfiability Modulo Theories

Distribution: OpenMandriva Cooker
Repository: OpenMandriva Contrib x86_64
Package name: cvc3
Package version: 2.4.1
Package release: 1-omv2013.0
Package architecture: x86_64
Package type: rpm
Installed size: 38.84 KB
Download size: 19.15 KB
Official Mirror: abf-downloads.openmandriva.org
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.

Alternatives

Provides

  • cvc3 == 2.4.1-1:2013.0

    Download

    Install Howto

    1. Enable OpenMandriva Contrib repository on Install and Remove Software"
    2. Update packages list:
      # urpmi.update -a
    3. Install cvc3 rpm package:
      # urpmi cvc3

    Files

    • /usr/bin/cvc3
    • /usr/share/doc/cvc3/LICENSE
    • /usr/share/doc/cvc3/PEOPLE
    • /usr/share/doc/cvc3/README
    Advertisement
    Advertisement