org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve
Classes
SATSolve
SATSolveLoop
SATSolveParallel
SATSolveSequence
SATSolveXor