» Tanglu » Пакеты » staging » Исходный код » misc » cvc3
staging  ] [  aequorea  ] [  dasyatis  ] [  chromodoris  ] [  bartholomea  ]

Пакет исходного кода: cvc3 (2.4.1-5b1)

Ссылки для cvc3

Ресурсы Tanglu:


Please consider filing a bug before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Morgan Deters

It should generally not be necessary for users to contact the original maintainer.

Внешние ресурсы:

Экспериментальный пакет

Warning: This package is from the staging distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it. The package will automatically migrate to the current development distribution, when it has been tested.

Из этого пакета исходного кода собираются следующие двоичные пакеты:
Automatic theorem prover for SMT problems
Emacs mode for CVC3
Automatic theorem prover library for SMT problems
Java bindings for CVC3 (bytecode library)
Java bindings for CVC3 (native library)
Automatic theorem prover library for SMT problems (development files)

Другие пакеты, относящиеся к cvc3

  • для сборки
  • build-depends-indep
  • adep: cdbs
    common build system for Debian packages
  • adep: debhelper (>= 7)
    helper programs for debian/rules
  • adep: autoconf
    automatic configure script builder
  • adep: autotools-dev
    Update infrastructure for config.{guess,sub} files
  • adep: bison
    YACC-compatible parser generator
  • adep: default-jdk
    Standard Java or Java compatible Development Kit
  • adep: flex
    fast lexical analyzer generator
  • adep: libgmp-dev
    Multiprecision arithmetic library developers tools
    или libgmp3-dev
    Multiprecision arithmetic library developers tools
  • adep: patchutils
    Utilities to work with patches
  • adep: python
    interactive high-level object-oriented language (default version)

Download cvc3

ФайлРазмер (в Кб)Контрольная сумма MD5
cvc3_2.4.1-5b1.dsc 2,0 Кб 35d406895de60ace5bbdd25ad56a9fbe
cvc3_2.4.1.orig.tar.gz 1 148,2 Кб 29168e0511761f39f4d09277e009d6ab
cvc3_2.4.1-5b1.debian.tar.xz 10,0 Кб 23f08f02f3ce218a5b0787af624321f9