Skip to content

Draft: improve hotstart by not using the auxiliary variable#156

Draft
jacopok wants to merge 4 commits intoJohannesBuchner:masterfrom jacopok:hotstart-without-aux-variable
+100-22

Commits