Translates BPMN models to declarative constraints in different languages (DECLARE, SIGNAL, LTLf) - View it on GitHub