Currently this requires a #dev version of Clarabel