alla flaggor
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Källkod: p9m4  ]

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

Länkar för prover9-mace4

Screenshot

Debianresurser:

Hämta källkodspaketet p9m4:

Ansvarig:

Externa resurser:

Liknande paket:

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.

Andra paket besläktade med prover9-mace4

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta prover9-mace4

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
all 51,4 kbyte265,0 kbyte [filförteckning]