CVS commit: wip/prover9

["Pouya Tafti" <pdtafti%users.sourceforge.net@localhost>]

Module name:    wip
Committed by:   pdtafti
Date:           Fri Jan  7 16:56:46 UTC 2011

Import into wip/prover9

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.

Status:

Vendor Tag:     PDTAFTI
Release Tags:   PDTAFTI_20110107
                
N wip/prover9/distinfo
N wip/prover9/Makefile
N wip/prover9/PLIST
N wip/prover9/DESCR
N wip/prover9/patches/patch-ag
N wip/prover9/patches/patch-ac
N wip/prover9/patches/patch-aa
N wip/prover9/patches/patch-ae
N wip/prover9/patches/patch-ab
N wip/prover9/patches/patch-af
N wip/prover9/patches/patch-ad

No conflicts created by this import


------------------------------------------------------------------------------
Gaining the trust of online customers is vital for the success of any company
that requires sensitive data to be transmitted over the Web.   Learn how to 
best implement a security strategy that keeps consumers' information secure 
and instills the confidence they need to proceed with transactions.
http://p.sf.net/sfu/oracle-sfdevnl 
_______________________________________________
pkgsrc-wip-cvs mailing list
pkgsrc-wip-cvs%lists.sourceforge.net@localhost
https://lists.sourceforge.net/lists/listinfo/pkgsrc-wip-cvs