gistfile1.txt

commit e4349ca69adab400e09530333a9af6048a1e8b6a
Author: Corbin <cds@corbinsimpson.com>
Date:   Thu Jun 28 21:42:22 2018 -0700

    python-packages: Hack for z3-solver.
    
    This shouldn't be a permanent solution, because it builds a new Z3 for each
    Python.

diff --git a/pkgs/top-level/python-packages.nix b/pkgs/top-level/python-packages.nix
index a97001e88b1..dbacea8e808 100644
--- a/pkgs/top-level/python-packages.nix
+++ b/pkgs/top-level/python-packages.nix
@@ -18018,6 +18018,8 @@ EOF
 
   zipfile36 = callPackage ../development/python-modules/zipfile36 { };
 
+  z3-solver = callPackage ../applications/science/logic/z3 { };
+
   todoist = callPackage ../development/python-modules/todoist { };
 
   zxcvbn-python = callPackage ../development/python-modules/zxcvbn-python { };