Last released Apr 19, 2021
da4py implements state-of-the-art Process Mining methods over SAT encoding. An Ocaml version is Darksider.
Supported by