Skip to content

Improved if-then-else + bugfix bigM

JoD requested to merge tmp_ite into main

The bug appeared during development.

Merge request reports