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

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

cvc3-el 的相關超連結

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.

外部的資源:

相似套件:

Emacs mode for CVC3

其他與 cvc3-el 有關的套件

  • 依賴
  • 推薦
  • 建議
  • enhances
  • rec: cvc3
    Automatic theorem prover for SMT problems
  • enh: cvc3
    Automatic theorem prover for SMT problems

下載 cvc3-el

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