Paketti: prover9-mace4 (0.5.dfsg-3)

[ Source: p9m4  ]

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.

Muut pakettiin prover9-mace4 liittyvät paketit

• dep: prover9 (>= 0.0.200712-1)

  theorem prover and countermodel generator

• dep: python

  interactive high-level object-oriented language (Python2 version)

• dep: python-wxgtk3.0

  Python interface to the wxWidgets Cross-platform C++ GUI toolkit

Imuroi prover9-mace4

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
all	51.4 kt	265.0 kt	[tiedostoluettelo]