Integrate jacop solver