GitHub repository: BoltMaud/darksider4py
Primary language: Python
Created: 2019-03-20T15:28:11Z
Description: Darksider will be a process mining usable librairy using SAT encoding for models. Darksider4py is simply a traduction of darksider in Python. As the Ocaml community is small, I prefer to use Python for a more valuable work. By "valuable", I mean sharable and then criticable work.