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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

{ lib
, python3Packages
, fetchPypi
}:

let
  version = "2.0.3";
in
python3Packages.buildPythonApplication {
  pname = "ddsmt";
  inherit version;
  pyproject = true;

  src = fetchPypi {
    inherit version;
    pname = "ddSMT";
    hash = "sha256-nmhEG4sUmgpgRUduVTtwDLGPJVKx+dEaPb+KjFRwV2Q=";
  };

  nativeBuildInputs = with python3Packages; [
    setuptools
  ];

  propagatedBuildInputs = with python3Packages; [
    gprof2dot
    progressbar
  ];

  meta = {
    description = "A delta debugger for SMT benchmarks in SMT-LIB v2";
    homepage = "https://ddsmt.readthedocs.io/";
    license = with lib.licenses; [ gpl3Plus ];
    maintainers = with lib.maintainers; [ AndersonTorres ];
  };
}