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>
