% teszteset                                        % összes megoldás listája
fd_semantics_correct                               [[]]
fdtest([X,Y,Z,B],B=1,Res)                          [[0..8,0..8,1..9,{1}]]
fdtest([X,Y,Z,B],(B=1,X#>=4,Y#>=7),Res)            [[4..8,7..8,8..9,{1}]]
fdtest([X,Y,Z,B],(B=1,X#>=4,Y#>=8),Res)            [[4..8,{8},{9},{1}]]
fdtest([X,Y,Z,B],(B=1,Z#=<5,X#>=5),Res)            []
fdtest([X,Y,Z,B],(B=1,Z#=<5,X#>=4),Res)            [[{4},0..4,{5},{1}]]
fdtest([X,Y,Z,B],(B=1,Z=5),Res)                    [[0..4,0..4,{5},{1}]]
fdtest([X,Y,Z,B],(B=1,Z=5,X=6),Res)                []
fdtest([X,Y,Z,B],(B=1,Z=5,Y=6),Res)                []
'z>max(x,y)'(X,2,2),clpfd:fd_dom(X,Res)            []
fdtest([X,Y,Z,B],(B=0,X#=<5,Y#=<3),Res)            [[0..5,0..3,0..5,{0}]]
fdtest([X,Y,Z,B],(B=0,Z#>=7,X#=<6),Res)            [[0..6,7..9,7..9,{0}]]
fdtest([X,Y,Z,B],(B=0,Z=6,X=6),Res)                [[{6},0..9,{6},{0}]]
fdtest([X,Y,Z,B],(Z#>=7,X#=<6,Y#=<4),Res)          [[0..6,0..4,7..9,{1}]]
fdtest([X,Y,Z,B],(Z#=<8,X#>=6,Y#>=8),Res)          [[6..9,8..9,0..8,{0}]]
fdtest([X,Y,Z,B],(Z#=<9,X#>=6,Y#>=8),Res)          [[6..9,8..9,0..9,0..1]]
fdtest([X,Y,Z,B],(Z in 3..4,X=2,Y=6),Res           [[{2},{6},3..4,{0}]]