Package org.spectrumauctions.sats.opt.domain

Class Summary

Class	Description
PartialMIP	A PartialMIP defines a set of constraints and auxiliary variables.
PiecewiseLinearPartialMIP