diff options
| author | sinanmohd <sinan@sinanmohd.com> | 2024-08-18 06:09:31 +0530 |
|---|---|---|
| committer | sinanmohd <sinan@sinanmohd.com> | 2024-08-18 06:09:31 +0530 |
| commit | 0104b24ebd524752b92ebe88fd6ac3adc3517aa9 (patch) | |
| tree | de3aae7a90e3322a0bb77bbcb63610891ca13d2c | |
| parent | 3a00df97d6d1fa5a77af1953f1b23b2de7298eaa (diff) | |
evanix: use highs by default
| -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, }; |