[ buster ]
[ 源代码： p9m4 ]
软件包：prover9-mace4（0.5.dfsg-3）
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