pyrox.dev
1{ buildPythonPackage, fetchFromGitHub, lib, six, pypblib, pytestCheckHook }:
2
3buildPythonPackage rec {
4 pname = "python-sat";
5 version = "0.1.6.dev6";
6
7 src = fetchFromGitHub {
8 owner = "pysathq";
9 repo = "pysat";
10 rev = version;
11 sha256 = "1gckxhqkvzyw7pmwg8xzxq146jysqy0s23l5mjc3awm6swdij66y";
12 };
13
14 propagatedBuildInputs = [ six pypblib ];
15
16 checkInputs = [ pytestCheckHook ];
17
18 meta = with lib; {
19 description = "Toolkit to provide interface for various SAT (without optional dependancy py-aiger-cnf)";
20 homepage = "https://github.com/pysathq/pysat";
21 license = licenses.mit;
22 maintainers = [ maintainers.marius851000 ];
23 };
24}