b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

python3Packages.python-sat: init at 0.1.6.dev6

Browse source
This commit is contained in:
marius david 2020-10-18 10:30:07 +02:00
parent 487c1902b5
commit 1c8204e0fa
2 changed files with 26 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

24
pkgs/development/python-modules/python-sat/default.nix Normal file
View file

@ -0,0 +1,24 @@
{ buildPythonPackage, fetchFromGitHub, lib, six, pypblib, pytestCheckHook }:
buildPythonPackage rec {
pname = "python-sat";
version = "0.1.6.dev6";
src = fetchFromGitHub {
owner = "pysathq";
repo = "pysat";
rev = version;
sha256 = "1gckxhqkvzyw7pmwg8xzxq146jysqy0s23l5mjc3awm6swdij66y";
};
propagatedBuildInputs = [ six pypblib ];
checkInputs = [ pytestCheckHook ];
meta = with lib; {
description = "Toolkit to provide interface for various SAT (without optional dependancy py-aiger-cnf)";
homepage = "https://github.com/pysathq/pysat";
license = licenses.mit;
maintainers = [ maintainers.marius851000 ];
};
}

2
pkgs/top-level/python-packages.nix
View file

@ -5741,6 +5741,8 @@ in {
python-rtmidi = callPackage ../development/python-modules/python-rtmidi { };
python-sat = callPackage ../development/python-modules/python-sat { };
python-simple-hipchat = callPackage ../development/python-modules/python-simple-hipchat { };
python_simple_hipchat = self.python-simple-hipchat;