From d35e1d43d664403d1de330d40e7a865eb3554533 Mon Sep 17 00:00:00 2001
From: Bruno BELANYI <bruno@belanyi.fr>
Date: Sat, 25 Dec 2021 00:30:52 +0100
Subject: [PATCH] nix: add z3 to python environment

---
 flake.nix | 1 +
 1 file changed, 1 insertion(+)

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
             ]))
           ];