On Wed, 11 Feb 2009 20:02:42 +0530 Mani A <a.mani.cms@xxxxxxxxx> 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
-- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
