Update to Polyhedra v0.8

oyamad · oyamad · commit 291b7343cf2e · 2025-01-21T17:00:27.000+09:00
diff --git a/Project.toml b/Project.toml
@@ -10,7 +10,7 @@ Polyhedra = "67491407-f73d-577b-9b50-8179a7c68029"
 lrslib_jll = "3873f7d0-7b7c-52c3-bdf4-8ab39b8f337a"
 
 [compat]
-Polyhedra = "0.7"
+Polyhedra = "0.7, 0.8"
 julia = "1.6"
 lrslib_jll = "= 0.3.3"
 
