Abstracted to ADMM solver