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

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