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
  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 }