Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
971 B · 37 lines
Nix
at litex
1234567891011121314151617181920212223242526272829303132333435363738{ buildPythonPackage, fetchFromGitHub, lib, six, pypblib, pytestCheckHook }:
buildPythonPackage rec { pname = "python-sat"; version = "0.1.7.dev1";
src = fetchFromGitHub { owner = "pysathq"; repo = "pysat"; rev = version; hash = "sha256-zGdgD+SgoMB7/zDQI/trmV70l91TB7OkDxaJ30W3dkI="; };
propagatedBuildInputs = [ six pypblib ];
nativeCheckInputs = [ pytestCheckHook ];
# https://github.com/pysathq/pysat/pull/102 postPatch = '' # Fix for case-insensitive filesystem cat >>solvers/patches/cadical.patch <<EOFdiff --git solvers/cadical/VERSION solvers/cdc/VERSIONdeleted file mode 100644--- solvers/cadical/VERSION+++ /dev/null@@ -1 +0,0 @@-1.0.3EOF '';
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 ]; };}