bumps msolve v0.7.2

ederc · ederc · commit e1bf60076803 · 2024-09-19T10:56:25.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.100"
+msolve_jll = "0.700.200"
