aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/evanix.c2
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,
};