init commit of a constraint solver package