Menu
▾
▴
javabdd-checkins — CVS updates. High traffic.
You can subscribe to this list here.
| 2003 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
(4) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2004 |
Jan
|
Feb
|
Mar
(6) |
Apr
(6) |
May
(4) |
Jun
(31) |
Jul
(64) |
Aug
(19) |
Sep
(28) |
Oct
(50) |
Nov
(25) |
Dec
|
| 2005 |
Jan
(44) |
Feb
(8) |
Mar
(2) |
Apr
(15) |
May
(48) |
Jun
(8) |
Jul
(7) |
Aug
|
Sep
(1) |
Oct
(3) |
Nov
|
Dec
|
| 2006 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(1) |
Jun
(2) |
Jul
(14) |
Aug
|
Sep
|
Oct
|
Nov
(6) |
Dec
(4) |
| 2007 |
Jan
|
Feb
|
Mar
(2) |
Apr
|
May
|
Jun
(1) |
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2010 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
(1) |
Nov
(1) |
Dec
|
| 2011 |
Jan
|
Feb
(2) |
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
(1) |
Dec
|
| 2019 |
Jan
|
Feb
|
Mar
|
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: John W. <joe...@us...> - 2004-07-27 23:01:18
|
Update of /cvsroot/javabdd/JavaBDD/xdocs/images In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv12039/xdocs/images Added Files: logo2_mid.jpg logo2.jpg Log Message: --- NEW FILE: logo2_mid.jpg --- (This appears to be a binary file; contents omitted.) --- NEW FILE: logo2.jpg --- (This appears to be a binary file; contents omitted.) |
|
From: John W. <joe...@us...> - 2004-07-27 22:54:32
|
Update of /cvsroot/javabdd/JavaBDD In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv10711 Modified Files: project.xml Log Message: Change to use medium-sized image. Index: project.xml =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/project.xml,v retrieving revision 1.4 retrieving revision 1.5 diff -C2 -d -r1.4 -r1.5 *** project.xml 27 Jul 2004 22:27:44 -0000 1.4 --- project.xml 27 Jul 2004 22:54:10 -0000 1.5 *************** *** 5,9 **** <id>javabdd</id> <currentVersion>0.6</currentVersion> ! <logo>/images/logo.jpg</logo> <organization> <name>Sourceforge</name> --- 5,9 ---- <id>javabdd</id> <currentVersion>0.6</currentVersion> ! <logo>/images/logo_mid.jpg</logo> <organization> <name>Sourceforge</name> |
|
From: John W. <joe...@us...> - 2004-07-27 22:53:49
|
Update of /cvsroot/javabdd/JavaBDD/xdocs/images In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv10572/xdocs/images Added Files: logo_mid.jpg Log Message: Medium-sized image. --- NEW FILE: logo_mid.jpg --- (This appears to be a binary file; contents omitted.) |
|
From: John W. <joe...@us...> - 2004-07-27 22:38:24
|
Update of /cvsroot/javabdd/JavaBDD/xdocs/images In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv7807 Modified Files: logo.jpg logo.png Log Message: Index: logo.png =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/xdocs/images/logo.png,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 Binary files /tmp/cvsZhSyFz and /tmp/cvsF9TWTW differ Index: logo.jpg =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/xdocs/images/logo.jpg,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 Binary files /tmp/cvsh8oWLL and /tmp/cvsotuT98 differ |
|
From: John W. <joe...@us...> - 2004-07-27 22:35:48
|
Update of /cvsroot/javabdd/JavaBDD/xdocs/images In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv7377/xdocs/images Modified Files: logo.jpg logo.png logo_small.jpg logo.gif Log Message: *** keyword substitution change *** Index: logo.png =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/xdocs/images/logo.png,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 Binary files /tmp/cvssUolzO and /tmp/cvsnqBGA9 differ Index: logo.jpg =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/xdocs/images/logo.jpg,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 Binary files /tmp/cvsOzE8EW and /tmp/cvsAdZGKh differ |
|
From: John W. <joe...@us...> - 2004-07-27 22:31:12
|
Update of /cvsroot/javabdd/JavaBDD/xdocs/images In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv6477/images Added Files: logo.gif logo.jpg logo.png logo_small.jpg Log Message: --- NEW FILE: logo_small.jpg --- (This appears to be a binary file; contents omitted.) --- NEW FILE: logo.gif --- (This appears to be a binary file; contents omitted.) --- NEW FILE: logo.png --- (This appears to be a binary file; contents omitted.) --- NEW FILE: logo.jpg --- (This appears to be a binary file; contents omitted.) |
|
From: John W. <joe...@us...> - 2004-07-27 22:30:48
|
Update of /cvsroot/javabdd/JavaBDD/xdocs/images In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv6383/images Log Message: Directory /cvsroot/javabdd/JavaBDD/xdocs/images added to the repository |
|
From: John W. <joe...@us...> - 2004-07-27 22:27:53
|
Update of /cvsroot/javabdd/JavaBDD In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv5722 Modified Files: project.xml Log Message: Index: project.xml =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/project.xml,v retrieving revision 1.3 retrieving revision 1.4 diff -C2 -d -r1.3 -r1.4 *** project.xml 25 Jul 2004 10:44:09 -0000 1.3 --- project.xml 27 Jul 2004 22:27:44 -0000 1.4 *************** *** 5,8 **** --- 5,9 ---- <id>javabdd</id> <currentVersion>0.6</currentVersion> + <logo>/images/logo.jpg</logo> <organization> <name>Sourceforge</name> |
|
From: John W. <joe...@us...> - 2004-07-27 22:27:00
|
Update of /cvsroot/javabdd/JavaBDD In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv5453 Modified Files: maven.xml Log Message: Index: maven.xml =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/maven.xml,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** maven.xml 25 Jul 2004 10:28:08 -0000 1.1 --- maven.xml 27 Jul 2004 22:26:39 -0000 1.2 *************** *** 3,6 **** --- 3,7 ---- <preGoal name="native:compile"> + <echo message="*** copying BuDDy includes ***"/> <copy todir="target/native/jni"> <fileset dir="buddy/src/" includes="*.h"/> *************** *** 12,15 **** --- 13,17 ---- <postGoal name="native:compile"> + <echo message="*** renaming BuDDy library ***"/> <move file="target/native/libjavabdd-0.6.so" tofile="target/native/libbuddy.so" |
|
From: John W. <joe...@us...> - 2004-07-27 22:17:29
|
Update of /cvsroot/javabdd/JavaBDD/xdocs In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv2975/xdocs Modified Files: navigation.xml Log Message: Index: navigation.xml =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/xdocs/navigation.xml,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** navigation.xml 27 Jul 2004 04:49:02 -0000 1.2 --- navigation.xml 27 Jul 2004 22:17:19 -0000 1.3 *************** *** 17,20 **** --- 17,26 ---- <item name="Javadoc" href="apidocs/index.html" /> + <item name="Build Instructions" + href="compiling.html"/> + <item name="Installing" + href="installing.html"/> + <item name="Performance" + href="performance.html"/> </menu> <menu name="Downloads"> |
|
From: John W. <joe...@us...> - 2004-07-27 21:49:23
|
Update of /cvsroot/javabdd/JavaBDD/xdocs In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv29741/xdocs Modified Files: performance.xml Log Message: Index: performance.xml =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/xdocs/performance.xml,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** performance.xml 27 Jul 2004 21:42:57 -0000 1.2 --- performance.xml 27 Jul 2004 21:49:14 -0000 1.3 *************** *** 18,21 **** --- 18,22 ---- <code>java -ms320m -mx320m -Dbdd=<i>package</i> -jar javabdd_0.6.jar 12</code> <br/> + </p> <table border="2"> <tr> |
|
From: John W. <joe...@us...> - 2004-07-27 21:43:07
|
Update of /cvsroot/javabdd/JavaBDD/xdocs In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv28696/xdocs Modified Files: performance.xml Log Message: Index: performance.xml =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/xdocs/performance.xml,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** performance.xml 27 Jul 2004 18:23:30 -0000 1.1 --- performance.xml 27 Jul 2004 21:42:57 -0000 1.2 *************** *** 17,21 **** <br/> <code>java -ms320m -mx320m -Dbdd=<i>package</i> -jar javabdd_0.6.jar 12</code> ! <br/ <table border="2"> <tr> --- 17,21 ---- <br/> <code>java -ms320m -mx320m -Dbdd=<i>package</i> -jar javabdd_0.6.jar 12</code> ! <br/> <table border="2"> <tr> |
|
From: John W. <joe...@us...> - 2004-07-27 20:51:02
|
Update of /cvsroot/javabdd/JavaBDD/xdocs In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv17865/xdocs Modified Files: compiling.xml Log Message: Index: compiling.xml =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/xdocs/compiling.xml,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** compiling.xml 27 Jul 2004 18:23:30 -0000 1.1 --- compiling.xml 27 Jul 2004 20:50:53 -0000 1.2 *************** *** 50,54 **** You can also specify different compilers by setting the CC variable. In addition to <code>gcc</code>, the Makefile supports the Microsoft ! compiler (<code>cl</code>) and the Intel compiler (<code>icc on Linux, <code>icl</code> on Windows). </p> --- 50,54 ---- You can also specify different compilers by setting the CC variable. In addition to <code>gcc</code>, the Makefile supports the Microsoft ! compiler (<code>cl</code>) and the Intel compiler (<code>icc</code> on Linux, <code>icl</code> on Windows). </p> |
|
From: John W. <joe...@us...> - 2004-07-27 18:25:09
|
Update of /cvsroot/javabdd/JavaBDD In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv19955 Modified Files: NQueens.java Log Message: Index: NQueens.java =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/NQueens.java,v retrieving revision 1.11 retrieving revision 1.12 diff -C2 -d -r1.11 -r1.12 *** NQueens.java 22 Jul 2004 22:44:15 -0000 1.11 --- NQueens.java 27 Jul 2004 18:24:59 -0000 1.12 *************** *** 28,32 **** int numberOfNodes; if (numOfNodes == null) ! numberOfNodes = (int) (Math.pow(4.4, N-6))*1000; else numberOfNodes = Integer.parseInt(numOfNodes); --- 28,32 ---- int numberOfNodes; if (numOfNodes == null) ! numberOfNodes = (int) (Math.pow(4.42, N-6))*1000; else numberOfNodes = Integer.parseInt(numOfNodes); |
|
From: John W. <joe...@us...> - 2004-07-27 18:23:38
|
Update of /cvsroot/javabdd/JavaBDD/xdocs In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv19687/xdocs Added Files: compiling.xml installing.xml performance.xml Log Message: --- NEW FILE: installing.xml --- <?xml version="1.0"?> <document> <properties> <title>Installing JavaBDD</title> <author email="joe...@us...">John Whaley</author> </properties> <body> <section name="Installing JavaBDD"> <p> Download the binary archive for your system and extract the files. If you want to use the native BuDDy library, put the <code>buddy.dll</code> (on Windows) or <code>libbuddy.so</code> (on Unix) somewhere in your library path or in the directory you will execute from. (JavaBDD will automatically search the current directory for the native library, so there is no need to specify the current directory in the "java.library.path" system property.) Add the JavaBDD jar file to your Java class path if you want to compile and/or run with JavaBDD. </p> <p> The JavaBDD jar file contains a simple example that solves an NxN queens problem. You can run this example by simply typing: <br/> <code>java -jar javabdd_0.6.jar <i>N</i></code> <br/> where <code><i>N</i></code> is the size of the board (e.g. <code>8</code>). </p> </section> </body> </document> --- NEW FILE: performance.xml --- <?xml version="1.0"?> <document> <properties> <title>JavaBDD Performance Comparison</title> <author email="joe...@us...">John Whaley</author> </properties> <body> <section name="Performance Comparison"> <p> Here are the timings of solving the 12x12 NQueens problem on my home machine (2.4GHz P4, WinXP, Sun JDK 1.5.0b2). This test simply does simple logic operations. It primarily tests the speed of node creation and BDD garbage collection. The command line I used to test was: <br/> <code>java -ms320m -mx320m -Dbdd=<i>package</i> -jar javabdd_0.6.jar 12</code> <br/ <table border="2"> <tr> <td>Package </td> <td>Time </td> <td>Peak Memory Usage</td> </tr> <tr> <td>buddy </td> <td> 77s </td> <td> 150mb </td> </tr> <tr> <td>cudd </td> <td> 82s </td> <td> 171mb </td> </tr> <tr> <td>java -server </td> <td> 90s </td> <td> 155mb </td> </tr> <tr> <td>java -client </td> <td> 107s </td> <td> 155mb </td> </tr> </table> <p> Don't make any assumptions from these results about the relative efficiency of C and Java. The Java source code is a direct translation of the C source code, and therefore there are many, many inefficiencies that would not be present if it had been implemented from scratch in Java. At best, you could use this information as an example of the type of performance you would see if you directly translate a performance library written in C into Java. </p> </section> </body> </document> --- NEW FILE: compiling.xml --- <?xml version="1.0"?> <document> <properties> <title>Building JavaBDD</title> <author email="joe...@us...">John Whaley</author> </properties> <body> <section name="Building JavaBDD"> <p> If you have a supported system, it is easiest to just download one of the pre-built binaries. The native libraries have been optimized with the Intel compiler for maximum performance. Even if there is no pre-built binary for your system, the performance of the 100% Java implementation is still respectable. </p> <p> If you still want to build it yourself, you will first need the source code to the native library you want to interface to (BuDDy, CUDD, and/or CAL). They are available at the following locations: <ul> <li><a href="http://buddy.sourceforge.net">BuDDy</a></li> <li><a href="http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html">CUDD</a></li> <li><a href="http://www-cad.eecs.berkeley.edu/Respep/Research/bdd/cal_bdd/">CAL</a></li> </ul> <a href="http://buddy.sourceforge.net">BuDDy</a> seems to have the best performance and is the most tested, so I recommend BuDDy. </p> <p> The easiest way to build is to use the supplied Makefile. (To build JavaBDD on Windows, you will need cygwin or mingw installed.) Grab the JavaBDD source code from CVS, and extract the BuDDy/CUDD/CAL native code. Edit the Makefile to specify the path where to find the native code. (The default in the Makefile is <code>buddy22/src</code> for BuDDy, <code>cudd-2.4.0</code> for CUDD, and <code>cal-2.1</code> for CAL.) It will automatically identify the path to the JDK, as long as you have it installed in the default location (C:/j2sdk* on Windows, /usr/java/j2sdk* on Linux). </p> <p> The default make target will build the jar file and the BuDDy native library. You can build the other native libraries by giving them as a make target (<code>libcudd.so</code> or <code>libcal.so</code>). Other useful make targets are "examples", "javadoc", "jar", "test", and "clean". Take a look at the Makefile for more information. </p> <p> You can also specify different compilers by setting the CC variable. In addition to <code>gcc</code>, the Makefile supports the Microsoft compiler (<code>cl</code>) and the Intel compiler (<code>icc on Linux, <code>icl</code> on Windows). </p> <p> If you manage to successfully compile JavaBDD for another system, please contribute your Makefile and/or any source patches. </p> </section> </body> </document> |
|
From: John W. <joe...@us...> - 2004-07-27 04:49:16
|
Update of /cvsroot/javabdd/JavaBDD/xdocs In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv8503/xdocs Modified Files: navigation.xml Log Message: Index: navigation.xml =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/xdocs/navigation.xml,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** navigation.xml 24 Jul 2004 19:45:50 -0000 1.1 --- navigation.xml 27 Jul 2004 04:49:02 -0000 1.2 *************** *** 19,27 **** </menu> <menu name="Downloads"> ! <item name="JavaBDD v0.6 for Windows" href="http://dl.sourceforge.net/javabdd/javabdd_0.6.zip"/> ! <item name="JavaBDD v0.6 for Linux" href="http://dl.sourceforge.net/javabdd/javabdd_0.6.tar.gz"/> ! <item name="JavaBDD v0.6 Source code" href="http://dl.sourceforge.net/javabdd/javabdd_src_0.6.tar.gz"/> </menu> --- 19,27 ---- </menu> <menu name="Downloads"> ! <item name="JavaBDD for Windows" href="http://dl.sourceforge.net/javabdd/javabdd_0.6.zip"/> ! <item name="JavaBDD for Linux" href="http://dl.sourceforge.net/javabdd/javabdd_0.6.tar.gz"/> ! <item name="JavaBDD Source code" href="http://dl.sourceforge.net/javabdd/javabdd_src_0.6.tar.gz"/> </menu> |
|
From: John W. <joe...@us...> - 2004-07-25 10:44:19
|
Update of /cvsroot/javabdd/JavaBDD In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv18081 Modified Files: project.properties project.xml Log Message: Index: project.properties =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/project.properties,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** project.properties 25 Jul 2004 10:28:08 -0000 1.2 --- project.properties 25 Jul 2004 10:44:09 -0000 1.3 *************** *** 1,3 **** --- 1,6 ---- + # Where to find source code, used by tasklist plugin. + maven.src.dir = . + # Tell maven where to find jdd.jar, because it cannot build it itself. maven.jar.override = on Index: project.xml =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/project.xml,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** project.xml 25 Jul 2004 10:28:08 -0000 1.2 --- project.xml 25 Jul 2004 10:44:09 -0000 1.3 *************** *** 235,242 **** maven-tasklist-plugin </report> - <!-- TOO EXPENSIVE - <report> - maven-checkstyle-plugin - </report> <report> maven-javadoc-plugin --- 235,238 ---- *************** *** 245,248 **** --- 241,248 ---- maven-jxr-plugin </report> + <!-- TOO EXPENSIVE + <report> + maven-checkstyle-plugin + </report> <report> maven-pmd-plugin |
|
From: John W. <joe...@us...> - 2004-07-25 10:28:19
|
Update of /cvsroot/javabdd/JavaBDD In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv16436 Modified Files: project.properties project.xml Added Files: maven.xml Log Message: --- NEW FILE: maven.xml --- <?xml version="1.0" encoding="ISO-8859-1"?> <project xmlns:j="jelly:core"> <preGoal name="native:compile"> <copy todir="target/native/jni"> <fileset dir="buddy/src/" includes="*.h"/> </copy> <copy todir="target/native/jni"> <fileset dir="buddy/" includes="*.h"/> </copy> </preGoal> <postGoal name="native:compile"> <move file="target/native/libjavabdd-0.6.so" tofile="target/native/libbuddy.so" overwrite="true"/> </postGoal> </project> Index: project.properties =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/project.properties,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** project.properties 24 Jul 2004 19:45:50 -0000 1.1 --- project.properties 25 Jul 2004 10:28:08 -0000 1.2 *************** *** 2,6 **** # Tell maven where to find jdd.jar, because it cannot build it itself. maven.jar.override = on ! maven.jar.jdd = ${basedir}/JavaBDD/jdd.jar # Main class when building jar file --- 2,6 ---- # Tell maven where to find jdd.jar, because it cannot build it itself. maven.jar.override = on ! maven.jar.jdd = ${basedir}/jdd.jar # Main class when building jar file *************** *** 13,15 **** # Properties for compiling JNI. ! maven.native.src = JavaBDD --- 13,16 ---- # Properties for compiling JNI. ! maven.native.src = . ! maven.native.src.includes = buddy/src/*.c buddy/src/*.h buddy_jni.c Index: project.xml =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/project.xml,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** project.xml 24 Jul 2004 19:45:50 -0000 1.1 --- project.xml 25 Jul 2004 10:28:08 -0000 1.2 *************** *** 173,177 **** </nagEmailAddress> ! <sourceDirectory>JavaBDD</sourceDirectory> <!-- TODO <unitTestSourceDirectory>src/test</unitTestSourceDirectory> --- 173,177 ---- </nagEmailAddress> ! <sourceDirectory>.</sourceDirectory> <!-- TODO <unitTestSourceDirectory>src/test</unitTestSourceDirectory> |
|
From: John W. <joe...@us...> - 2004-07-24 19:46:02
|
Update of /cvsroot/javabdd/JavaBDD In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv14590 Added Files: project.properties project.xml Log Message: --- NEW FILE: project.properties --- # Tell maven where to find jdd.jar, because it cannot build it itself. maven.jar.override = on maven.jar.jdd = ${basedir}/JavaBDD/jdd.jar # Main class when building jar file maven.jar.mainclass = NQueens # The logo to show on the generated site. #maven.xdoc.poweredby.image = http://sourceforge.net/sflogo.php?group_id=72725&type=5 #maven.xdoc.poweredby.title = Visit our Sourceforge project page! #maven.xdoc.poweredby.url = http://sourceforge.net/projects/javabdd # Properties for compiling JNI. maven.native.src = JavaBDD --- NEW FILE: project.xml --- <?xml version="1.0"?> <project> <pomVersion>3</pomVersion> <name>JavaBDD</name> <id>javabdd</id> <currentVersion>0.6</currentVersion> <organization> <name>Sourceforge</name> <url>http://sourceforge.net</url> <logo>http://sourceforge.net/sflogo.php?group_id=72725&type=5</logo> </organization> <inceptionYear>2003</inceptionYear> <package>org.sf.javabdd</package> <shortDescription>Java Binary Decision Diagram library</shortDescription> <description> <![CDATA[ <p>JavaBDD is a Java library for manipulating BDDs (Binary Decision Diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, etc. For an excellent overview of the BDD data structure, see this set of <a href="http://www.itu.dk/people/hra/notes-index.html"> lecture notes</a> by Henrik Reif Andersen.</p> <p>The JavaBDD API is based on that of the popular <a href="http://www.itu.dk/research/buddy/"> BuDDy</a> package, a BDD package written in C by Jørn Lind-Nielsen. However, JavaBDD's API is designed to be object-oriented. The ugly C function interface and reference counting schemes have been hidden underneath a uniform, object-oriented interface.</p> <p>JavaBDD includes a 100% Java implementation. It can also interface with two popular BDD libraries written in C via a JNI interface: <a href="http://www.itu.dk/research/buddy/"> BuDDy</a> and <a href="http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html">CUDD</a>. </p> <p>JavaBDD is designed for high performance applications, so it also exposes many of the lower level options of the BDD library, like cache sizes and advanced variable reordering.</p> ]]> </description> <url>http://javabdd.sourceforge.net/</url> <issueTrackingUrl> http://www.sourceforge.net/tracker/?group_id=72725 </issueTrackingUrl> <siteAddress>javabdd.sourceforge.net</siteAddress> <siteDirectory> /home/groups/j/ja/javabdd/htdocs/ </siteDirectory> <distributionDirectory> /home/groups/j/ja/javabdd/ </distributionDirectory> <repository> <connection> scm:cvs:pserver:ano...@cv...:/cvsroot/javabdd:JavaBDD </connection> <url> http://cvs.sourceforge.net/viewcvs.py/javabdd/ </url> </repository> <versions> <version> <id>0.3</id> <name>0.3</name> <tag>v0_3</tag> </version> <version> <id>0.4</id> <name>0.4</name> <tag>v0_4</tag> </version> <version> <id>0.5</id> <name>0.5</name> <tag>v0_5</tag> </version> <version> <id>0.6</id> <name>0.6</name> <tag>v0_6</tag> </version> <version> <id>1.0beta</id> <name>1.0beta</name> <tag>HEAD</tag> </version> </versions> <mailingLists> <mailingList> <name>JavaBDD Announce List</name> <subscribe> http://lists.sourceforge.net/lists/listinfo/javabdd-announce </subscribe> <unsubscribe> http://lists.sourceforge.net/lists/listinfo/javabdd-announce </unsubscribe> <archive> http://sourceforge.net/mailarchive/forum.php?forum=javabdd-announce </archive> </mailingList> <mailingList> <name>JavaBDD Developer List</name> <subscribe> http://lists.sourceforge.net/lists/listinfo/javabdd-devel </subscribe> <unsubscribe> http://lists.sourceforge.net/lists/listinfo/javabdd-devel </unsubscribe> <archive> http://sourceforge.net/mailarchive/forum.php?forum=javabdd-devel </archive> </mailingList> <mailingList> <name>JavaBDD CVS Checkins List</name> <subscribe> http://lists.sourceforge.net/lists/listinfo/javabdd-checkins </subscribe> <unsubscribe> http://lists.sourceforge.net/lists/listinfo/javabdd-checkins </unsubscribe> <archive> http://sourceforge.net/mailarchive/forum.php?forum=javabdd-checkins </archive> </mailingList> </mailingLists> <developers> <developer> <name>John Whaley</name> <id>joewhaley</id> <email>joe...@us...</email> <organization>Stanford University</organization> <roles> <role>Project Manager</role> </roles> </developer> </developers> <dependencies> <dependency> <groupId>jdd</groupId> <artifactId>jdd</artifactId> <version>1.00</version> <jar>jdd.jar</jar> <url>http://javaddlib.sourceforge.net/</url> </dependency> <!-- TODO <dependency> <groupId>maven</groupId> <artifactId>maven-native-plugin</artifactId> <version>1.1</version> <url>http://www.ibiblio.org/maven/maven/plugins/</url> </dependency> <dependency> <groupId>buddy</groupId> <artifactId>buddy</artifactId> <version>2.4</version> <url>http://buddy.sourceforge.net/</url> </dependency> --> </dependencies> <build> <nagEmailAddress> joe...@us... </nagEmailAddress> <sourceDirectory>JavaBDD</sourceDirectory> <!-- TODO <unitTestSourceDirectory>src/test</unitTestSourceDirectory> <aspectSourceDirectory/> --> <!-- Unit test cases --> <!-- TODO <unitTest> <includes> <include>**/*Test.java</include> </includes> <excludes> <exclude>**/RepositoryTest.java</exclude> </excludes> </unitTest> --> <!-- J A R R E S O U R C E S --> <!-- Resources that are packaged up inside the JAR file --> <resources> <!-- TODO <resource> <directory>${basedir}/src/resources/misc</directory> <includes> <include>*.xsd</include> </includes> </resource> <resource> <directory>${basedir}/src/resources/logging</directory> <includes> <include>log4j.properties</include> </includes> </resource> --> </resources> <!-- Integration unit test cases --> <integrationUnitTest/> <jars> </jars> </build> <reports> <report> maven-developer-activity-plugin </report> <report> maven-faq-plugin </report> <report> maven-file-activity-plugin </report> <report> maven-jdepend-plugin </report> <report> maven-tasklist-plugin </report> <!-- TOO EXPENSIVE <report> maven-checkstyle-plugin </report> <report> maven-javadoc-plugin </report> <report> maven-jxr-plugin </report> <report> maven-pmd-plugin </report> <report> maven-simian-plugin </report> --> </reports> </project> |
|
From: John W. <joe...@us...> - 2004-07-24 19:46:02
|
Update of /cvsroot/javabdd/JavaBDD/xdocs In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv14590/xdocs Added Files: navigation.xml Log Message: --- NEW FILE: navigation.xml --- <?xml version="1.0" encoding="ISO-8859-1"?> <project name="JavaBDD"> <title>Java Binary Decision Diagram library</title> <organizationLogo href="http://sourceforge.net/sflogo.php?group_id=72725&type=5" /> <body> <links> <item name="SourceForge.net Project Page" href="http://sourceforge.net/projects/javabdd" /> <item name="Hosted by SourceForge" href="http://sourceforge.net" /> </links> <menu name="Overview"> <item name="What is it?" href="index.html"/> </menu> <menu name="Documentation"> <item name="Javadoc" href="apidocs/index.html" /> </menu> <menu name="Downloads"> <item name="JavaBDD v0.6 for Windows" href="http://dl.sourceforge.net/javabdd/javabdd_0.6.zip"/> <item name="JavaBDD v0.6 for Linux" href="http://dl.sourceforge.net/javabdd/javabdd_0.6.tar.gz"/> <item name="JavaBDD v0.6 Source code" href="http://dl.sourceforge.net/javabdd/javabdd_src_0.6.tar.gz"/> </menu> </body> </project> |
|
From: John W. <joe...@us...> - 2004-07-24 19:45:13
|
Update of /cvsroot/javabdd/JavaBDD/xdocs In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv14511/xdocs Log Message: Directory /cvsroot/javabdd/JavaBDD/xdocs added to the repository |
|
From: John W. <joe...@us...> - 2004-07-24 01:15:45
|
Update of /cvsroot/javabdd/JavaBDD/org/sf/javabdd In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv1848/org/sf/javabdd Modified Files: BDD.java Log Message: Fix Javadoc Index: BDD.java =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/BDD.java,v retrieving revision 1.29 retrieving revision 1.30 diff -C2 -d -r1.29 -r1.30 *** BDD.java 28 Apr 2004 17:41:56 -0000 1.29 --- BDD.java 24 Jul 2004 01:15:35 -0000 1.30 *************** *** 864,872 **** /** ! * <p>Calculates the log. number of satisfying variable assignments.</p> * * <p>Compare to bdd_satcount.</p> * ! * @return the log. number of satisfying variable assignments */ public double logSatCount() { --- 864,872 ---- /** ! * <p>Calculates the logarithm of the number of satisfying variable assignments.</p> * * <p>Compare to bdd_satcount.</p> * ! * @return the logarithm of the number of satisfying variable assignments */ public double logSatCount() { *************** *** 875,884 **** /** ! * <p>Calculates the log. number of satisfying variable assignments to the * variables in the given varset.</p> * * <p>Compare to bdd_satcountset.</p> * ! * @return the log. number of satisfying variable assignments */ public double logSatCount(BDD varset) { --- 875,884 ---- /** ! * <p>Calculates the logarithm of the number of satisfying variable assignments to the * variables in the given varset.</p> * * <p>Compare to bdd_satcountset.</p> * ! * @return the logarithm of the number of satisfying variable assignments */ public double logSatCount(BDD varset) { |
|
From: John W. <joe...@us...> - 2004-07-23 01:04:12
|
Update of /cvsroot/javabdd/JavaBDD/org/sf/javabdd In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv5709/org/sf/javabdd Modified Files: JFactory.java Log Message: Index: JFactory.java =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/JFactory.java,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** JFactory.java 22 Jul 2004 20:03:59 -0000 1.2 --- JFactory.java 23 Jul 2004 01:04:03 -0000 1.3 *************** *** 540,543 **** --- 540,546 ---- BddCacheData copy() { BddCacheDataI that = new BddCacheDataI(); + that.a = this.a; + that.b = this.b; + that.c = this.c; that.res = this.res; return that; *************** *** 549,552 **** --- 552,558 ---- BddCacheData copy() { BddCacheDataD that = new BddCacheDataD(); + that.a = this.a; + that.b = this.b; + that.c = this.c; that.dres = this.dres; return that; |
|
From: John W. <joe...@us...> - 2004-07-22 22:44:24
|
Update of /cvsroot/javabdd/JavaBDD In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv18166 Modified Files: NQueens.java Log Message: Index: NQueens.java =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/NQueens.java,v retrieving revision 1.10 retrieving revision 1.11 diff -C2 -d -r1.10 -r1.11 *** NQueens.java 22 Jul 2004 22:40:09 -0000 1.10 --- NQueens.java 22 Jul 2004 22:44:15 -0000 1.11 *************** *** 63,67 **** for (i = 0; i < N; i++) for (j = 0; j < N; j++) { ! System.out.print("Adding position " + i + "," + j+"\r"); build(i, j); } --- 63,67 ---- for (i = 0; i < N; i++) for (j = 0; j < N; j++) { ! System.out.print("Adding position " + i + "," + j+" \r"); build(i, j); } |
|
From: John W. <joe...@us...> - 2004-07-22 22:40:23
|
Update of /cvsroot/javabdd/JavaBDD In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv17459 Modified Files: NQueens.java Log Message: Index: NQueens.java =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/NQueens.java,v retrieving revision 1.9 retrieving revision 1.10 diff -C2 -d -r1.9 -r1.10 *** NQueens.java 23 Jun 2004 10:31:40 -0000 1.9 --- NQueens.java 22 Jul 2004 22:40:09 -0000 1.10 *************** *** 63,68 **** for (i = 0; i < N; i++) for (j = 0; j < N; j++) { ! System.out.println("Adding position " + i + "," + j); ! System.out.flush(); build(i, j); } --- 63,67 ---- for (i = 0; i < N; i++) for (j = 0; j < N; j++) { ! System.out.print("Adding position " + i + "," + j+"\r"); build(i, j); } |
