Issues
Kodkod detects inconsistency in a set comprehension assignment | Unassigned | Michael Leuschel | Fixed | Nov 11, 2020 | Nov 11, 2020 | ||||||
Translation not working for min/max | Unassigned | Michael Leuschel | Unresolved | Oct 30, 2020 | Oct 30, 2020 | ||||||
Wrong solution for constraint involving addition | Unassigned | Michael Leuschel | Unresolved | Oct 30, 2020 | Sep 22, 2021 | ||||||
Out of bounds for cartesian product | Unassigned | Michael Leuschel | Unresolved | Oct 30, 2020 | Oct 30, 2020 |
1-4 of 4