[Javabdd-checkins] JavaBDD/xdocs links.xml,1.1,1.2

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

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

Modified Files:
	links.xml 
Log Message:
Added links to projects using JavaBDD.

Index: links.xml
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/xdocs/links.xml,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** links.xml	20 Jan 2005 07:50:25 -0000	1.1
--- links.xml	4 Feb 2005 11:06:59 -0000	1.2
***************
*** 25,28 ****
--- 25,43 ----
        </ul>
      </section>
+     <section name="Projects using JavaBDD">
+      <ul>
+       <li>
+        <a href="http://bddbddb.sourceforge.net/">bddbddb</a>, BDD-Based Deductive DataBase.
+       </li>
+       <li>
+        <a href="http://joeq.sourceforge.net">Joeq</a> virtual machine and compiler infrastructure.
+       </li>
+       <li>
+        <a href="http://www.sable.mcgill.ca/jedd/">Jedd</a>, a Java language extension adding BDDs as a primitive data type.
+       </li>
+       <li>
+        <a href="http://staff.aist.go.jp/tanabe.yoshinori/04/09/4D-2.pdf">Checking Satisfiability of Guarded Fragments</a>.
+       </li>
+      </ul>
      <section name="Related Links">
       <ul>