DiVinE Documentation
Reference guides - brief (but often long) documentation with many technical details
- Library - reference guide (generated from source codes of the library)
- GUI - reference guide synthesized from its Java source codes (not very detailed)
Tutorials - documentation explaining principles and giving examples
DiVinE Documentation, 2006 developed in ParaDiSe laboratory, Faculty of Informatics, Masaryk University