1 { buildPythonPackage, fetchFromGitHub, lib, six, pypblib, pytestCheckHook }:
3 buildPythonPackage rec {
5 version = "0.1.7.dev1";
7 src = fetchFromGitHub {
11 hash = "sha256-zGdgD+SgoMB7/zDQI/trmV70l91TB7OkDxaJ30W3dkI=";
14 propagatedBuildInputs = [ six pypblib ];
16 nativeCheckInputs = [ pytestCheckHook ];
18 # https://github.com/pysathq/pysat/pull/102
20 # Fix for case-insensitive filesystem
21 cat >>solvers/patches/cadical.patch <<EOF
22 diff --git solvers/cadical/VERSION solvers/cdc/VERSION
23 deleted file mode 100644
24 --- solvers/cadical/VERSION
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 ];