A Study Program Verificator Based On Petri Nets
Master thesis 2014-2015
Olivier Colson, SINF22MS
UCL

README FILE OF THE APPENDICES ARCHIVE

This archive file is the second appendix to the Study Program Verificator
document.

Here is a description of its content:
  - testData.backup: A dump script of the PGSQL test database.
  
  - blindpn directory: The complete source code of the BlindPN library.
  
  - coursesCoordinator directory: The complete source code of the web application.
  
  - precompiled directory: contains a precompiled .war and .jar file, respectively 
                           for the web application and BlindPN.
                           
  - figures directory: All the figures used in the thesis' main document.
  
  - README: this file!

