» Ubuntu » 套件 » bionic (18.04LTS) » math » cvc3
xenial  ] [  bionic  ] [  disco  ] [  eoan  ]
[ 原始碼: cvc3  ]

套件: cvc3 (2.4.1-5.1ubuntu1) [universe]

cvc3 的相關超連結

Screenshot

Ubuntu 的資源:

下載原始碼套件 cvc3

維護者:

Please consider filing a bug or asking a question via Launchpad 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.

外部的資源:

相似套件:

Automatic theorem prover for SMT problems

其他與 cvc3 有關的套件

  • 依賴
  • 推薦
  • 建議
  • enhances
  • dep: libc6 (>= 2.14)
    GNU C Library: Shared libraries
    同時作為一個虛擬套件由這些套件提供: libc6-udeb
  • dep: libcvc3-5v5 (>= 2.4.1)
    Automatic theorem prover library for SMT problems
  • dep: libgcc1 (>= 1:3.0)
    GCC support library
  • dep: libgmp10
    Multiprecision arithmetic library
  • dep: libstdc++6 (>= 5.2)
    GNU Standard C++ Library v3

下載 cvc3

下載可用於所有硬體架構的
硬體架構 套件大小 安裝後大小 檔案
amd64 18.0 kB61.0 kB [文件列表]