csolver: classes for backtrack, backtrack most constrained, backtrack arc consistent, branch&bound and branch&bound arch consistent