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