Add an initial constraint solver