{ lib
, buildPythonPackage
, fetchFromGitHub

, future
, z3
, miasm
}:
buildPythonPackage rec {
  pname = "msynth";
  version = "d072f07ed82c74e3a1846b963b037e0f8df96d29";
  format = "setuptools";

  #disabled = pythonOlder "3.6";

  src = fetchFromGitHub {
    owner = "mrphrazer";
    repo = "msynth";
    rev = "${version}";
    hash = "sha256-HJLR8b2n1nQ8BKz0vX+41Yt0/g8IL27IVBvt4pnLI/0=";
    name = "${pname}-${version}";
  };

  propagatedBuildInputs = [
    future
    miasm
    z3
  ];

  doCheck = false;

  pythonImportsCheck = [ "msynth" ];

  meta = with lib; {
    license = licenses.gpl2;
  };
}