WIP: changes to facilitate ADMM implementation#13

duembgen wants to merge 16 commits intomainutiasASRL/certifiable-tools:mainfrom

improve_lifter_integrationutiasASRL/certifiable-tools:improve_lifter_integrationCopy head branch name to clipboard