Implement SOS1 bridges for min/max #14
Description
For instance, based on https://yetanothermathprogrammingconsultant.blogspot.com/2020/01/how-to-model-yminx1x2.html
Different from #11: this issue is only about MIP solvers, while #11 is for CP solvers.