Working on constraint solver