From 0104b24ebd524752b92ebe88fd6ac3adc3517aa9 Mon Sep 17 00:00:00 2001
From: sinanmohd <sinan@sinanmohd.com>
Date: Sun, 18 Aug 2024 06:09:31 +0530
Subject: evanix: use highs by default

---
 src/evanix.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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,
 };
 
-- 
cgit v1.2.3