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

   1 {
   2   lib,
   3   buildPythonPackage,
   4   fetchPypi,
   5 }:
   6
   7 buildPythonPackage 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 }