Credits¶
Maintainers¶
Ivan Donadello, e-mail: ivan.donadello@unibz.it
Fabrizio Maria Maggi, e-mail: maggi@inf.unibz.it
Contributors¶
We really thank our collaborators for their precious effort for Declare4Py:
Ko Jong Hyeon for the basic and N-gram encodings of logs;
Riva Francesco for the first Declare4Py version;
Singh Manpreet for the log generation task;
Shikhizada Aladdin for the DECLARE checker functions;
Xhemalaj Diellsimeone for the LTL analyzer, the log filters, the Numba accelerator and the code documentation.