pyrox.dev
1{ buildPythonPackage, fetchFromGitHub, lib, six, pypblib, pytestCheckHook }:
2
3buildPythonPackage rec {
4 pname = "python-sat";
5 version = "0.1.7.dev1";
6
7 src = fetchFromGitHub {
8 owner = "pysathq";
9 repo = "pysat";
10 rev = version;
11 hash = "sha256-zGdgD+SgoMB7/zDQI/trmV70l91TB7OkDxaJ30W3dkI=";
12 };
13
14 propagatedBuildInputs = [ six pypblib ];
15
16 nativeCheckInputs = [ pytestCheckHook ];
17
18 # https://github.com/pysathq/pysat/pull/102
19 postPatch = ''
20 # Fix for case-insensitive filesystem
21 cat >>solvers/patches/cadical.patch <<EOF
22diff --git solvers/cadical/VERSION solvers/cdc/VERSION
23deleted file mode 100644
24--- solvers/cadical/VERSION
25+++ /dev/null
26@@ -1 +0,0 @@
27-1.0.3
28EOF
29 '';
30
31 meta = with lib; {
32 description = "Toolkit to provide interface for various SAT (without optional dependancy py-aiger-cnf)";
33 homepage = "https://github.com/pysathq/pysat";
34 license = licenses.mit;
35 maintainers = [ maintainers.marius851000 ];
36 };
37}