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.