correct return value in case of infeasible instance

This commit is contained in:
Maximilian Keßler 2023-05-09 17:44:37 +02:00
parent edcdaa8fd2
commit 9886e68084
Signed by: max
GPG key ID: BCC5A619923C0BA5

View file

@ -39,7 +39,7 @@ def check_game(game_id: int) -> Tuple[int, GameState]:
game = GameState(instance)
solvable, solution = solve_sat(game)
if not solvable:
return -1, solution
return 0, solution
while (unsolvable_turn - solvable_turn > 1):
try_turn = (unsolvable_turn + solvable_turn) // 2