An overview of constraint network solvers