uses msolve v0.8.0

ederc · ederc · commit 9584bb9839d9 · 2025-05-16T18:21:50.000+02:00
diff --git a/Project.toml b/Project.toml
@@ -24,4 +24,4 @@ Random = "1.6"
 StaticArrays = "1"
 Test = "1.6"
 julia = "1.6"
-msolve_jll = "0.700.501"
+msolve_jll = "0.800.000"
