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