Release 6.15.20 of DiSCover

On April 14, 2025, version 6.15.20 has been released. This version allows the user to filter the component matrices in a consistent way, as this filtering will be forwarded to the log (and hence to the other component matrices). A check box controls whether to ensure that the component matrices are consistent (see the bottom Read More …

ProM has moved to GitHub

The ProM packages have been moved from SVN to GitHub. So far, 35 packages have been transferred including the SVN history. This move was necessary as the SVN repository at the Math&CS department at TU/e will be taken down in the near future. As a result, the URLs https://svn.win.tue.nl/repos/prom/ (the SVN repository) and https://svn.win.tue.nl/trac/prom/ (the Read More …