Copy over from carlobaldassi/julia-clp