130 B
130 B
For running SOS+ you need to limit the variables to the set of
s, pp, and ret for it to be able to find the perfect repair.
For running SOS+ you need to limit the variables to the set of
s, pp, and ret for it to be able to find the perfect repair.