Issues

Go to advanced search
Select view

Select search mode

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