From 214ef0fe87b48e044681bb831b8ae2fc2fe1a35b Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 24 Sep 2023 18:03:44 +0200 Subject: Added -L option --- src/commands.c | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'src/commands.c') diff --git a/src/commands.c b/src/commands.c index f01edfd..1e5dd07 100644 --- a/src/commands.c +++ b/src/commands.c @@ -210,7 +210,7 @@ solve_parse_args(int c, char **v) a->opts->max_solutions = 1; a->opts->nthreads = 1; a->opts->optimal = -1; - a->opts->can_niss = false; + a->opts->nisstype = NORMAL; a->opts->verbose = false; a->opts->all = false; a->opts->print_number = true; @@ -272,7 +272,10 @@ solve_parse_args(int c, char **v) a->opts->optimal = val; infinitesols = true; } else if (!strcmp(v[i], "-N")) { - a->opts->can_niss = true; + a->opts->nisstype = NISS; + } else if (!strcmp(v[i], "-L")) { + if (a->opts->nisstype != NISS) + a->opts->nisstype = LINEAR; } else if (!strcmp(v[i], "-i")) { a->scrstdin = true; } else if (!strcmp(v[i], "-v")) { -- cgit v1.3