diff options
-rw-r--r-- | src/evanix.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/evanix.c b/src/evanix.c index 2cf8469..d5aaab9 100644 --- a/src/evanix.c +++ b/src/evanix.c @@ -37,7 +37,7 @@ struct evanix_opts_t evanix_opts = { .system = NULL, .solver_report = false, .check_cache_status = true, - .solver = solver_conformity, + .solver = solver_highs, .break_evanix = false, }; |