make solverScope field final
docs: add term "Constraint Satisfaction Programming"