Re: Packaging Request: Prover

[Christopher Brown <snecklifter gmail com>]

2009/2/11 Kevin Fenzi <kevin scrye com>:
> 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.

Then we can remove it from:

https://fedoraproject.org/wiki/PackageMaintainers/WishList#Formal_Methods_WishList

No?

-- 
Christopher Brown