Return-Path: 
 <commits-return-18095-apmail-maven-commits-archive=maven.apache.org@maven.apache.org>
Delivered-To: apmail-maven-commits-archive@www.apache.org
Received: (qmail 52033 invoked from network); 28 May 2008 05:35:20 -0000
Received: from hermes.apache.org (HELO mail.apache.org) (140.211.11.2)
  by minotaur.apache.org with SMTP; 28 May 2008 05:35:20 -0000
Received: (qmail 94853 invoked by uid 500); 28 May 2008 05:35:22 -0000
Delivered-To: apmail-maven-commits-archive@maven.apache.org
Received: (qmail 94804 invoked by uid 500); 28 May 2008 05:35:22 -0000
Mailing-List: contact commits-help@maven.apache.org; run by ezmlm
Precedence: bulk
List-Help: <mailto:commits-help@maven.apache.org>
List-Unsubscribe: <mailto:commits-unsubscribe@maven.apache.org>
List-Post: <mailto:commits@maven.apache.org>
List-Id: <commits.maven.apache.org>
Reply-To: dev@maven.apache.org
Delivered-To: mailing list commits@maven.apache.org
Received: (qmail 94795 invoked by uid 99); 28 May 2008 05:35:22 -0000
Received: from athena.apache.org (HELO athena.apache.org) (140.211.11.136)
    by apache.org (qpsmtpd/0.29) with ESMTP; Tue, 27 May 2008 22:35:22 -0700
X-ASF-Spam-Status: No, hits=-2000.0 required=10.0
	tests=ALL_TRUSTED
X-Spam-Check-By: apache.org
Received: from [140.211.11.4] (HELO eris.apache.org) (140.211.11.4)
    by apache.org (qpsmtpd/0.29) with ESMTP; Wed, 28 May 2008 05:34:31 +0000
Received: by eris.apache.org (Postfix, from userid 65534)
	id AFC292388A31; Tue, 27 May 2008 22:34:47 -0700 (PDT)
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Subject: svn commit: r660815 - in /maven/sandbox/trunk/mercury: lib/install.sh
 lib/org.sat4j.pb.jar pom.xml
Date: Wed, 28 May 2008 05:34:47 -0000
To: commits@maven.apache.org
From: jvanzyl@apache.org
X-Mailer: svnmailer-1.0.8
Message-Id: <20080528053447.AFC292388A31@eris.apache.org>
X-Virus-Checked: Checked by ClamAV on apache.org

Author: jvanzyl
Date: Tue May 27 22:34:47 2008
New Revision: 660815

URL: http://svn.apache.org/viewvc?rev=660815&view=rev
Log:
adding pb solver

Added:
    maven/sandbox/trunk/mercury/lib/org.sat4j.pb.jar   (with props)
Modified:
    maven/sandbox/trunk/mercury/lib/install.sh
    maven/sandbox/trunk/mercury/pom.xml

Modified: maven/sandbox/trunk/mercury/lib/install.sh
URL: http://svn.apache.org/viewvc/maven/sandbox/trunk/mercury/lib/install.sh?rev=660815&r1=660814&r2=660815&view=diff
==============================================================================
--- maven/sandbox/trunk/mercury/lib/install.sh (original)
+++ maven/sandbox/trunk/mercury/lib/install.sh Tue May 27 22:34:47 2008
@@ -1 +1,2 @@
 mvn install:install-file -Dfile=org.sat4j.core.jar -DgroupId=org.sat4j -Dpackaging=jar -DartifactId=org.sat4j.core -Dversion=2.0.0.v20080430 -DgeneratePom=true -DgenerateChecksum=true
+mvn install:install-file -Dfile=org.sat4j.core.jar -DgroupId=org.sat4j -Dpackaging=jar -DartifactId=org.sat4j.pb -Dversion=2.0.0.v20080430 -DgeneratePom=true -DgenerateChecksum=true

Added: maven/sandbox/trunk/mercury/lib/org.sat4j.pb.jar
URL: http://svn.apache.org/viewvc/maven/sandbox/trunk/mercury/lib/org.sat4j.pb.jar?rev=660815&view=auto
==============================================================================
Binary file - no diff available.

Propchange: maven/sandbox/trunk/mercury/lib/org.sat4j.pb.jar
------------------------------------------------------------------------------
    svn:mime-type = application/octet-stream

Modified: maven/sandbox/trunk/mercury/pom.xml
URL: http://svn.apache.org/viewvc/maven/sandbox/trunk/mercury/pom.xml?rev=660815&r1=660814&r2=660815&view=diff
==============================================================================
--- maven/sandbox/trunk/mercury/pom.xml (original)
+++ maven/sandbox/trunk/mercury/pom.xml Tue May 27 22:34:47 2008
@@ -118,6 +118,11 @@
       <artifactId>org.sat4j.core</artifactId>
       <version>2.0.0.v20080430</version>
     </dependency>        
+    <dependency>
+      <groupId>org.sat4j</groupId>
+      <artifactId>org.sat4j.pb</artifactId>
+      <version>2.0.0.v20080430</version>
+    </dependency>        
     <!-- Test Dependencies -->
     <dependency>
       <groupId>org.mortbay.jetty</groupId>