algorithms
Classes
IterativeSolver
MaxIterativeSolver
ReductionRules
SearchTreeSolver
Solver
Enums
IterativeSolver.ConflictType
Solver.AlgorithmType
Solver.MatchingType