>>> :kodkod x:1..10 & y:1..10 & min({x,y})=3 & max({x,y})=4 kodkod fail: x : 1 .. 10 & y : 1 .. 10 & min({x,y}) = 3 & max({... , reason: integer without upper and lower bound in: min({x,y}) while extracting used types ! Could not use KODKOD to translate predicate to SAT, identifiers = [x,y] ! Line: 1 Column: 0 until Line: 1 Column: 47 Existentially Quantified Predicate over x,y is TRUE Solution: x = 4 & y = 3
Michael Leuschel
Major
>>> :kodkod x:1..10 & y:1..10 & min({x,y})=3 & max({x,y})=4
kodkod fail: x : 1 .. 10 & y : 1 .. 10 & min({x,y}) = 3 & max({... , reason: integer without upper and lower bound in: min({x,y}) while extracting used types
! Could not use KODKOD to translate predicate to SAT, identifiers = [x,y]
! Line: 1 Column: 0 until Line: 1 Column: 47
Existentially Quantified Predicate over x,y is TRUE
Solution:
x = 4 &
y = 3