Solver for Constraint Satisfaction Problems with Branch and Bound algorithm and Backtracking algorithm