Projects
Filters
Dashboards
Apps
Create
ProB-Kodkod
Classic software project
Back to project
Filters
All issues
Open issues
Done issues
Resolved recently
Updated recently
View all filters
Projects
/
Issues
Export Issues
Go to advanced search
Search issues
Submit
Assignee
Reporter
Status
Type
Switch to detail view
Type
Key
Summary
Assignee
Reporter
P
Status
Created
KODKOD
-
4
Kodkod detects inconsistency in a set comprehension assignment
Michael Leuschel
Michael Leuschel
Resolved
Nov 11, 2020
KODKOD
-
3
Translation not working for min/max
Michael Leuschel
Michael Leuschel
Open
Oct 30, 2020
KODKOD
-
2
Wrong solution for constraint involving addition
Michael Leuschel
Michael Leuschel
Open
Oct 30, 2020
KODKOD
-
1
Out of bounds for cartesian product
Michael Leuschel
Michael Leuschel
Open
Oct 30, 2020
Give feedback
Showing 1-4 of 4
1
