pkgs/development/python-modules/pysmt/default.nix

   1 { lib
   2 , buildPythonPackage
   3 , fetchFromGitHub
   4 , pytestCheckHook
   5 , pythonOlder
   6 }:
   7
   8 buildPythonPackage rec {
   9   pname = "pysmt";
  10   version = "0.9.5";
  11   format = "setuptools";
  12
  13   disabled = pythonOlder "3.7";
  14
  15   src = fetchFromGitHub {
  16     owner = "pysmt";
  17     repo = pname;
  18     rev = "v${version}";
  19     hash = "sha256-cE+WmKzggYof/olxQb5M7xPsBONr39KdjOTG4ofYPUM=";
  20   };
  21
  22   nativeCheckInputs = [
  23     pytestCheckHook
  24   ];
  25
  26   pythonImportsCheck = [
  27     "pysmt"
  28   ];
  29
  30   meta = with lib; {
  31     description = "Python library for SMT formulae manipulation and solving";
  32     mainProgram = "pysmt-install";
  33     homepage = "https://github.com/pysmt/pysmt";
  34     license = with licenses; [ asl20 ];
  35     maintainers = with maintainers; [ fab ];
  36   };
  37 }