[ buster ]
[ ソース: p9m4 ]
パッケージ: prover9-mace4 (0.5.dfsg-3)
prover9-mace4 に関するリンク
Debian の資源:
p9m4 ソースパッケージをダウンロード:
メンテナ:
外部の資源:
- ホームページ [www.cs.unm.edu]
類似のパッケージ:
GUI for Prover9 and Mace4
This package provides a graphical user interface for easily running the Prover9 theorem prover and the Mace4 countermodel generator along with a number of sample input files.
その他の prover9-mace4 関連パッケージ
|
|
|
|
-
- dep: prover9 (>= 0.0.200712-1)
- theorem prover and countermodel generator
-
- dep: python
- 対話式の高レベルオブジェクト指向言語 (Python2 バージョン)
-
- dep: python-wxgtk3.0
- Python interface to the wxWidgets Cross-platform C++ GUI toolkit