https://5dok.org/document/nzw831vz-protocol-log-analysis-with-constraint-programming-work-progress.html