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