{ pkgs ? import <nixpkgs> {} }:
with pkgs;

pkgs.mkShell {
  buildInputs = [
    z3
    (python38.withPackages(ps: with ps; [ mypy z3 ]))
  ];
}