nix: add z3 to python environment

2021-12-25 00:30:52 +01:00 · 2021-12-25 00:30:52 +01:00 · d35e1d43d6
commit d35e1d43d6
parent 289b1ce455
1 changed files with 1 additions and 0 deletions
--- a/flake.nix
+++ b/flake.nix
@ -60,6 +60,7 @@
              black
              isort
              mypy
+              z3
            ]))
          ];