Issues

Select view

Select search mode

Bug
Wrong solution for constraint involving addition
Unassigned
Michael Leuschel
Major
Unresolved
Oct 30, 2020
Sep 22, 2021
Improvement
Translation not working for min/max
Unassigned
Michael Leuschel
Major
Unresolved
Oct 30, 2020
Oct 30, 2020
Bug
Out of bounds for cartesian product
Unassigned
Michael Leuschel
Major
Unresolved
Oct 30, 2020
Oct 30, 2020
1-3 of 3