pkgsrc-WIP-cvs archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

CVS commit: wip/prover9

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.


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. 
pkgsrc-wip-cvs mailing list

Home | Main Index | Thread Index | Old Index