More review of the CSP solvers with comments