Package algorithms

Class Summary
IterativeSolver  
MaxIterativeSolver  
ReductionRules  
SearchTreeSolver  
Solver  
 

Enum Summary
IterativeSolver.ConflictType  
Solver.AlgorithmType  
Solver.MatchingType