add assignOption to Solver to select in search

if only the interesting values are assigned, the search can consume less
time and memory