[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]

Re: Packaging Request: Prover



On Wed, 11 Feb 2009 20:02:42 +0530
Mani A <a mani cms gmail com> wrote:

> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
> 
> Can somebody package Prover and MACE4 for Fedora?
> 
> The former is a theorem prover, while the latter is typically used for
> getting counter examples. (Installing from source is easy, but still
> it makes sense as the packages have a large user base).

yum install prover9 ?
:) 

Description: This package provides the Prover9
resolution/paramodulation theorem prover : and the Mace4 countermodel
generator.

> Best
> 
> A. Mani

kevin

Attachment: signature.asc
Description: PGP signature


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]