Menu
▾
▴
[Javabdd-checkins] JavaBDD project.properties,NONE,1.1 project.xml,NONE,1.1
|
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> |
