Fix whitespace

This commit is contained in:
Jeremy Saklad 2021-06-19 07:33:46 -05:00
parent b7f47da9d0
commit afeabe603a
Signed by: Jeremy Saklad
GPG Key ID: 9CA2149583EDBF84
1 changed files with 5 additions and 1 deletions

View File

@ -2237,6 +2237,7 @@ def main():
help="maximum number of pennies that should be invested in skeleton", help="maximum number of pennies that should be invested in skeleton",
dest='maximum_cost' dest='maximum_cost'
) )
parser.add_argument( parser.add_argument(
"-e", "--exhaustion", "--maximum_exhaustion", "-e", "--exhaustion", "--maximum_exhaustion",
default=cp_model.INT32_MAX, default=cp_model.INT32_MAX,
@ -2244,6 +2245,7 @@ def main():
help="maximum exhaustion that skeleton should generate", help="maximum exhaustion that skeleton should generate",
dest='maximum_exhaustion' dest='maximum_exhaustion'
) )
parser.add_argument( parser.add_argument(
"-v", "--verbose", "-v", "--verbose",
nargs='?', nargs='?',
@ -2253,6 +2255,7 @@ def main():
help="whether the solver should output search progress rather than showing intermediate solutions", help="whether the solver should output search progress rather than showing intermediate solutions",
dest='verbose' dest='verbose'
) )
parser.add_argument( parser.add_argument(
"-t", "--time-limit", "-t", "--time-limit",
default=float('inf'), default=float('inf'),
@ -2260,6 +2263,7 @@ def main():
help="maximum number of seconds that solver runs for", help="maximum number of seconds that solver runs for",
dest='time_limit' dest='time_limit'
) )
parser.add_argument( parser.add_argument(
"-w", "--workers", "-w", "--workers",
default=cpu_count(), default=cpu_count(),