Linked the skb code to use icparc_solvers from Eclipseclp instead of using standalone one which exists inside the skb