Add --no-verbose option

The action for "--verbose" has been changed to BooleanOptionalAction,
which adds a negative version that may be useful for overriding
configuration files.
This commit is contained in:
Jeremy Saklad 2021-08-14 14:08:38 -05:00
parent cae8ac5055
commit 4cf9e4f008
Signed by: Jeremy Saklad
GPG Key ID: 9CA2149583EDBF84

View File

@ -105,7 +105,7 @@ solver_options = parser.add_argument_group(
solver_options.add_argument(
"-v", "--verbose",
action='store_true',
action=argparse.BooleanOptionalAction,
default=False,
help="whether the solver should output search progress rather than showing intermediate solutions",
dest='verbose'