Breaks test suite, with solver returning :Unbounded in many cases - but this is expected as unbounded variables now need to be properly bounded first. The purpose of this branch seems to be complete though and further changes to master can be on this refactored code
Breaks test suite, with solver returning
:Unboundedin many cases - but this is expected as unbounded variables now need to be properly bounded first. The purpose of this branch seems to be complete though and further changes to master can be on this refactored code