Package org.spectrumauctions.sats.opt.model