org.spectrumauctions.sats.opt.vcg.external.winnerdetermination (org.spectrumauctions:sats-opt 0.5.3 API)