diff --git a/.gitignore b/.gitignore
index 81b6c8645..011b00ece 100644
--- a/.gitignore
+++ b/.gitignore
@@ -34,6 +34,7 @@
 # Python wheels build artifacts
 dist/
 *egg-info
+smt_solvers.px[di]
 
 # Directories
 build/