Translation not working for min/max

Description

>>> :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

Environment

None

Activity

Show:

Details

Assignee

Reporter

Priority

Created October 30, 2020 at 3:38 PM
Updated October 30, 2020 at 3:38 PM