diff --git a/flake.nix b/flake.nix
index 117bc02..1de3f33 100644
--- a/flake.nix
+++ b/flake.nix
@@ -60,6 +60,7 @@
               black
               isort
               mypy
+              z3
             ]))
           ];