Subject: CVS commit: wip/prover9
From: Pouya Tafti
Date: 2011-01-07 17:56:46
Message id: E1PbFcb-0001kZ-H4@sfp-cvsdas-2.v30.ch3.sourceforge.com
Log Message:
Import prover9-2009-11A as wip/prover9.

This package includes Prover9, an automated theorem prover
for first-order and equational logic, and Mace4, which
searches for finite models and counter examples.
Files:
RevisionActionfile
1.1importwip/prover9/distinfo
1.1importwip/prover9/Makefile
1.1importwip/prover9/PLIST
1.1importwip/prover9/DESCR
1.1importwip/prover9/patches/patch-ag
1.1importwip/prover9/patches/patch-ac
1.1importwip/prover9/patches/patch-aa
1.1importwip/prover9/patches/patch-ae
1.1importwip/prover9/patches/patch-ab
1.1importwip/prover9/patches/patch-af
1.1importwip/prover9/patches/patch-ad