[Javabdd-checkins] JavaBDD project.xml,1.7,1.8

[John W. <joe...@us...>]

Update of /cvsroot/javabdd/JavaBDD
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv15164

Modified Files:
	project.xml 
Log Message:
Update text.


Index: project.xml
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/project.xml,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** project.xml	28 Jul 2004 11:38:08 -0000	1.7
--- project.xml	1 Aug 2004 08:41:35 -0000	1.8
***************
*** 19,23 ****
      <![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">
--- 19,23 ----
      <![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">
***************
*** 28,35 ****
  	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 
--- 28,38 ----
  	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 the
!         <a href="http://javaddlib.sourceforge.net/jdd/">JDD</a> library, or with three
  	popular BDD libraries written in C via a JNI interface: <a href="http://www.itu.dk/research/buddy/">
! 	BuDDy</a>, <a href="http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html">CUDD</a>,
! 	and <a href="http://www-cad.eecs.berkeley.edu/Research/cal_bdd/">CAL</a>.
! 	JavaBDD provides a uniform interface to all of these libraries, so you can easily switch between
! 	them without having to make changes to your application.</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