tjh.dev
1{ lib
2, buildPythonPackage
3, fetchPypi
4}:
5
6buildPythonPackage rec {
7 pname = "pycosat";
8 version = "0.6.3";
9
10 src = fetchPypi {
11 inherit pname version;
12 extension = "zip";
13 sha256 = "4c99874946a7e939bb941bbb019dd2c20e6068e3107c91366e7779c69d70e0ed";
14 };
15
16 meta = {
17 description = "Bindings to picosat SAT solver";
18 homepage = "https://github.com/ContinuumIO/pycosat";
19 license = lib.licenses.mit;
20 };
21}