Solver for constraint satisfaction problems.