A Python package for declarative Process Mining with Machine Learning applications

ProM-Plugin for sample-based conformance Checking with statistical guarantees. The plugin contains the sampling procedure, alignment approximation methods and quality ensurance mechanisms.

Translates BPMN models to declarative constraints in different languages (DECLARE, SIGNAL, LTLf)

A C++ library enabling web maps in desktop applications (Windows, Linux, MacOS).

C++ Library Manager for Windows, Linux, and MacOS