Working on a constraint solver.