Packaging Request: Prover

[Kevin Fenzi]

On Wed, 11 Feb 2009 20:02:42 +0530
Mani A <a.mani.cms at 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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 197 bytes
Desc: not available
Url : http://lists.fedoraproject.org/pipermail/devel/attachments/20090211/e8531ce0/attachment.bin