nixpkgs/pkgs/development/python-modules/pysmt/default.nix
2021-02-09 08:50:21 +01:00

36 lines
675 B
Nix

{ lib
, buildPythonPackage
, fetchFromGitHub
, nose
, pytestCheckHook
, six
}:
buildPythonPackage rec {
pname = "pysmt";
version = "0.9.0";
src = fetchFromGitHub {
owner = pname;
repo = pname;
rev = "v${version}";
sha256 = "051j36kpz11ik9bhvp5jgxzc3h7f18i1pf5ssdhjwyabr0n0zra3";
};
propagatedBuildInputs = [ six ];
checkInputs = [
nose
pytestCheckHook
];
pythonImportsCheck = [ "pysmt" ];
meta = with lib; {
description = "Python library for SMT formulae manipulation and solving";
homepage = "https://github.com/pysmt/pysmt";
license = with licenses; [ asl20 ];
maintainers = with maintainers; [ fab ];
};
}