Issues

Go to advanced search

Select view

List view

Detail view

Select search mode

Basic

JQL


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

1-4 of 4