Add z3_problems to .gitignore

Timmmm · ptomsich · commit e0d42a8562d2 · 2023-09-12T13:50:59.000+02:00
This file seems to be created on every build.
diff --git a/.gitignore b/.gitignore
@@ -6,3 +6,4 @@ _build/
 _sbuild/
 *.o
 *.a
+/z3_problems
