added the clafer chocosolver library