tjh.dev
1{
2 buildPythonPackage,
3 fetchFromGitHub,
4 lib,
5 six,
6 pypblib,
7 pytestCheckHook,
8}:
9buildPythonPackage rec {
10 pname = "python-sat";
11 version = "0.1.8.dev17";
12 format = "setuptools";
13
14 src = fetchFromGitHub {
15 owner = "pysathq";
16 repo = "pysat";
17 rev = "a04763de6dafb8d3a0d7f1b231fc0d30be1de4c0"; # upstream does not tag releases
18 hash = "sha256-FG6oAAI8XKXumj6Ys2QjjYcRp1TpwkUZzyfpkdq5V6E=";
19 };
20
21 propagatedBuildInputs = [
22 six
23 pypblib
24 ];
25
26 nativeCheckInputs = [ pytestCheckHook ];
27
28 disabledTestPaths = [ "tests/test_unique_mus.py" ];
29
30 meta = with lib; {
31 description = "Toolkit to provide interface for various SAT (without optional dependancy py-aiger-cnf)";
32 homepage = "https://github.com/pysathq/pysat";
33 changelog = "https://pysathq.github.io/updates/";
34 license = licenses.mit;
35 maintainers = [
36 maintainers.marius851000
37 maintainers.chrjabs
38 ];
39 platforms = lib.platforms.all;
40 badPlatforms = lib.platforms.darwin ++ [ "i686-linux" ];
41 };
42}