Package org.processmining.localprocessmodeldiscoverywithsubdueconstraints.algorithms