Skip to main content

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

Project description

Author : Boltenhagen Mathilde
Date : 09.2019


This project implements Process Mining algorithms with SAT encodings to get optimal results in case of verification problems. Boolean formulas are first created, then converted to CNF and solved with SAT solvers, thanks to pysat. This librairy used pm4py Objects.

The project is a translation of the Ocaml version darksider created by Thomas Chatain and Mathilde Boltenhagen.

Scientific papers

  • Encoding Conformance Checking Artefacts in SAT by Mathilde Boltenhagen, Thomas Chatain, Josep Carmona
  • Anti-alignments in conformance checking–the dark side of process models by Thomas Chatain, Josep Carmona

To be implemented soon

  • (Ocaml version exists) Generalized Alignment-Based Trace Clustering of Process Behavior by Mathilde Boltenhagen, Thomas Chatain, Josep Carmona


python 3.7.x


 > from pm4py.objects.petri import importer
 > from pm4py.objects.log.importer.xes import factory as xes_importer
 > from da4py.src.main.conformanceArtefacts import ConformanceArtefacts

 # get the data with pm4py 
 > net, m0, mf = importer.pnml.import_net("./medium/CloseToM8.pnml")
 > log = xes_importer.import_log("./medium/CloseToM8.xes")

 # da4py has a common class for the different artefacts
 > artefacts =  ConformanceArtefacts(size_of_run = 6, max_d = 13)

 # launch a multi-alignment
 > artefacts.multiAlignment(net,m0,mf,log)


├ src : python code
├ examples : data and example files
└ ...


Affiliations : LSV, CNRS, ENS Paris-Saclay, Inria, Université Paris-Saclay

Project details

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for da4py, version 0.0.1
Filename, size File type Python version Upload date Hashes
Filename, size da4py-0.0.1.tar.gz (16.8 kB) File type Source Python version None Upload date Hashes View
Filename, size da4py-0.0.1-py3-none-any.whl (22.5 kB) File type Wheel Python version py3 Upload date Hashes View

Supported by

AWS AWS Cloud computing Datadog Datadog Monitoring Facebook / Instagram Facebook / Instagram PSF Sponsor Fastly Fastly CDN Google Google Object Storage and Download Analytics Huawei Huawei PSF Sponsor Microsoft Microsoft PSF Sponsor NVIDIA NVIDIA PSF Sponsor Pingdom Pingdom Monitoring Salesforce Salesforce PSF Sponsor Sentry Sentry Error logging StatusPage StatusPage Status page