- python:any (>= 2.7.5-5~)
- python-wxgtk3.0
- prover9 (>= 0.0.200712-1)
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.
Installed Size: 271.4 kB
Architectures: all