unable to run speck_line_find.py

[ms1226]

while running the code of speck_line_find.py in windows by following the readme provided in milp_speck-master i am getting the following error. could you please guide.

[Clique33]

To solve this problem, I did the following:

The following changes have been done :

speck_line_find.py:

replace line 67 for the following:

y2 = self.rotr(y1, n, 2)

replace line 69 for the following:

y2 = self.rotr(y1, n, 3)

replace line 71 for the following:

constraints = constraints + three_way_fork(x1, y2, x4,r)

replace line 72 for the following:

constraints = constraints + three_way_fork(x3, y1, y0,r)

replace line 103 for the following:

V = getVariables_From_Constraints(C)

replace line 105 for the following:

V = V.union(getVariables_From_Constraints([add_constraint_1]))

We need only the confirmation from the authors if these modifications are correct.