Sync google/github

This commit is contained in:
Corentin Le Molgat
2022-01-17 15:04:44 +01:00
parent be974d9acf
commit 32f3bc53d0
2 changed files with 6 additions and 3 deletions

View File

@@ -25,6 +25,9 @@
#ifndef OR_TOOLS_UTIL_FILELINEITER_H_
#define OR_TOOLS_UTIL_FILELINEITER_H_
#include <algorithm>
#include <string>
#include "absl/strings/match.h"
#include "ortools/base/file.h"
#include "ortools/base/logging.h"

View File

@@ -79,8 +79,8 @@ def main(board_size):
if __name__ == '__main__':
# By default, solve the 8x8 problem.
board_size = 8
size = 8
if len(sys.argv) > 1:
board_size = int(sys.argv[1])
main(board_size)
size = int(sys.argv[1])
main(size)
# [END program]