Update of SplittingViaOKsolver on vdW-instances.
Update of meta-information on Sage.