Ignore downloaded solvers

sankalpgambhir · sankalpgambhir · commit 66764bc0f474 · 2025-09-18T16:34:35.000+02:00
diff --git a/.gitignore b/.gitignore
@@ -11,4 +11,6 @@ target
 project/.bloop
 project/metals.sbt
 project/project
-.DS_Store
+.DS_Store
+
+scripts/solvers
