Working on solver.
Trying to make cgen runtime work faster; achieve Eric's performance.