da4py

da4py implements state-of-the-art Process Mining methods over SAT encoding. An Ocaml version is Darksider.