2009/2/11 Kevin Fenzi <kevin@xxxxxxxxx>: > 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. Then we can remove it from: https://fedoraproject.org/wiki/PackageMaintainers/WishList#Formal_Methods_WishList No? -- Christopher Brown -- fedora-devel-list mailing list fedora-devel-list@xxxxxxxxxx https://www.redhat.com/mailman/listinfo/fedora-devel-list
