Popular repositories Loading

1. prism prism Public

   Forked from prismmodelchecker/prism

   Dave's fork of the main development version of the PRISM model checker. http://www.prismmodelchecker.org/

   Java 2 4

2. bib-db bib-db Public

   Publications database with a web front-end for displaying publications lists and editing database entries

   TeX

3. prism-svn prism-svn Public

   Forked from prismmodelchecker/prism-svn

   Mirror of PRISM subversion trunk

   Java

4. prism-api prism-api Public

   Forked from prismmodelchecker/prism-api

   Example code for connecting to PRISM programmatically.

   Java

5. prism-games prism-games Public

   Forked from prismmodelchecker/prism-games

   PRISM-games

   Java 2

6. Chain-CUDD-3.0.0 Chain-CUDD-3.0.0 Public

   Forked from rebryant/Chain-CUDD-3.0.0

   Modification of CUDD 3.0.0 to support chaining of BDDs and ZDDs

   C