Issues

Select view

Select search mode

Bug
Wrong solution for constraint involving addition
Unassigned
Michael Leuschel
Major
Unresolved
Oct 30, 2020
Sep 22, 2021
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
Out of bounds for cartesian product
Unassigned
Michael Leuschel
Major
Unresolved
Oct 30, 2020
Oct 30, 2020
1-4 of 4