pkgs/development/python-modules/pycosat/default.nix

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