Package org.processmining.plugins.InductiveMiner.mining.cuts.IMc.solve

Class Summary

Class	Description
SATSolve
SATSolveLoop
SATSolveParallel
SATSolveSequence
SATSolveXor