[ buster ]
[ Kaynak: p9m4 ]
Paket: prover9-mace4 (0.5.dfsg-3)
prover9-mace4 için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
p9m4 Kaynak Paketini İndir:
Geliştirici:
Dış Kaynaklar:
- Ana Sayfa [www.cs.unm.edu]
Benzer paketler:
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 ile İlgili Diğer Paketler
|
|
|
|
-
- 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
prover9-mace4 indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| all | 51,4 kB | 265,0 kB | [dosya listesi] |