NCsetSolver