pkgs/by-name/dd/ddsmt/package.nix

   1 { lib
   2 , python3Packages
   3 , fetchPypi
   4 }:
   5
   6 let
   7   version = "2.0.3";
   8 in
   9 python3Packages.buildPythonApplication {
  10   pname = "ddsmt";
  11   inherit version;
  12   pyproject = true;
  13
  14   src = fetchPypi {
  15     inherit version;
  16     pname = "ddSMT";
  17     hash = "sha256-nmhEG4sUmgpgRUduVTtwDLGPJVKx+dEaPb+KjFRwV2Q=";
  18   };
  19
  20   nativeBuildInputs = with python3Packages; [
  21     setuptools
  22   ];
  23
  24   propagatedBuildInputs = with python3Packages; [
  25     gprof2dot
  26     progressbar
  27   ];
  28
  29   meta = {
  30     description = "Delta debugger for SMT benchmarks in SMT-LIB v2";
  31     homepage = "https://ddsmt.readthedocs.io/";
  32     license = with lib.licenses; [ gpl3Plus ];
  33     maintainers = with lib.maintainers; [ AndersonTorres ];
  34   };
  35 }