EnglishFrenchSpanish

OnWorks favicon

cvc3 - Online in the Cloud

Run cvc3 in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command cvc3 that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

NAME


cvc3 - automatic SMT theorem prover

SYNOPSIS


cvc3 [option]... [filename]

DESCRIPTION


CVC3 is an automated validity checker for a many-sorted (typed) first-order logic with
built-in theories, including some support for quantifiers, partial functions, and
predicate subtypes. The current built-in theories are the theories of

· equality over free (aka uninterpreted) function and predicate symbols,

· real and integer linear arithmetic (with some support for non-linear arithmetic),

· bit vectors,

· arrays,

· tuples,

· records,

· user-defined inductive datatypes.

CVC3 operates on files in the CVC Presentation Input Language or the SMTLIB input
language. If no input file is given on the command line, CVC3 reads standard input.

OPTIONS


Only a few of the most frequently used options are given below. For more details, see
CVC3's built-in help (cvc3 -help) or the CVC3 website.

-h[elp]
List all of the options for controlling CVC3. Boolean options are marked (b). They
are enabled by prefixing with + and disabled by prefixing with -. In the help
output, the current setting is given. For example, the output lists

(b) -interactive Interactive mode

Indicating that interactive mode is disabled. to enable interactive mode, the
option +interactive is therefore used. Other options are marked (s) for string
arguments, or (i) for integer arguments.

-version
Print the version of CVC3 and exit.

-lang (presentation|smtlib|internal) Select the input language used. The default is
presentation.

+int[eractive]
Enable interactive mode. Commands are read from standard input and processed
immediately.

+stats Print run-time statistics.

-timeout t
Automatically terminate CVC3 after t seconds.

Use cvc3 online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    MSYS2
    MSYS2
    MSYS2 is a collection of tools and
    libraries providing you with an
    easy-to-use environment for building,
    installing and running native Windows
    software. It con...
    Download MSYS2
  • 2
    libjpeg-turbo
    libjpeg-turbo
    libjpeg-turbo is a JPEG image codec
    that uses SIMD instructions (MMX, SSE2,
    NEON, AltiVec) to accelerate baseline
    JPEG compression and decompression on
    x86, x8...
    Download libjpeg-turbo
  • 3
    Xtreme Download Manager
    Xtreme Download Manager
    The project has a new home now:
    https://xtremedownloadmanager.com/ For
    developers:
    https://github.com/subhra74/xdm Xtreme
    Download Manager is a powerful tool t...
    Download Xtreme Download Manager
  • 4
    TTGO VGA32 Lite
    TTGO VGA32 Lite
    Features:4:3 and 16:9 low resolution
    VGA outputPS/2 keyboard and mouse
    inputText-based user interface (TUI)
    with dialog managerPartial Unicode
    supportSlave dis...
    Download TTGO VGA32 Lite
  • 5
    Clover EFI bootloader
    Clover EFI bootloader
    Project has moved to
    https://github.com/CloverHackyColor/CloverBootloader..
    Features:Boot macOS, Windows, and Linux
    in UEFI or legacy mode on Mac or PC with
    UE...
    Download Clover EFI bootloader
  • 6
    unitedrpms
    unitedrpms
    Join us in Gitter!
    https://gitter.im/unitedrpms-people/Lobby
    Enable the URPMS repository in your
    system -
    https://github.com/UnitedRPMs/unitedrpms.github.io/bl...
    Download unitedrpms
  • More »

Linux commands

Ad