[ etiona ]
[ 原始碼: p9m4 ]
套件: prover9-mace4 (0.5.dfsg-3)
prover9-mace4 的相關超連結
Trisquel 的資源:
下載原始碼套件 p9m4:
維護者:
Original Maintainer:
- Debian QA Group
外部的資源:
- 主頁 [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
- interactive high-level object-oriented language (default version)
-
- dep: python-wxgtk3.0
- Python interface to the wxWidgets Cross-platform C++ GUI toolkit