diff options
author | Tom Hunger <tehunger@gmail.com> | 2014-12-13 14:52:43 +0000 |
---|---|---|
committer | Tom Hunger <tehunger@gmail.com> | 2014-12-13 14:54:52 +0000 |
commit | 67935713a9f5189e97d1e20be635386727122618 (patch) | |
tree | 23776d774b7f32c21e6631bac4e322c9492fb017 /pkgs | |
parent | 707ee5e0ec048800ba07e89acd3f7ed15e8f04ab (diff) | |
download | nixlib-67935713a9f5189e97d1e20be635386727122618.tar nixlib-67935713a9f5189e97d1e20be635386727122618.tar.gz nixlib-67935713a9f5189e97d1e20be635386727122618.tar.bz2 nixlib-67935713a9f5189e97d1e20be635386727122618.tar.lz nixlib-67935713a9f5189e97d1e20be635386727122618.tar.xz nixlib-67935713a9f5189e97d1e20be635386727122618.tar.zst nixlib-67935713a9f5189e97d1e20be635386727122618.zip |
Add pycosat.
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/top-level/python-packages.nix | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/pkgs/top-level/python-packages.nix b/pkgs/top-level/python-packages.nix index ba122bd57926..876288c42bf9 100644 --- a/pkgs/top-level/python-packages.nix +++ b/pkgs/top-level/python-packages.nix @@ -6901,6 +6901,27 @@ let }; }; + pycosat = pythonPackages.buildPythonPackage rec { + name = "pycosat-0.6.0"; + + propagatedBuildInputs = with pythonPackages; [ ]; + + src = pkgs.fetchurl { + url = "https://pypi.python.org/packages/source/p/pycosat/${name}.tar.gz"; + sha256 = "02sdn2998jlrm35smn1530hix3kzwyc1jv49cjdcnvfvrqqi3rww"; + }; + + meta = with stdenv.lib; { + description = ''PicoSAT is a popular SAT solver written by Armin + Biere in pure C. This package provides efficient Python bindings + to picosat on the C level, i.e. when importing pycosat, the + picosat solver becomes part of the Python process itself. For + ease of deployment, the picosat source (namely picosat.c and + picosat.h) is included in this project.''; + homepage = https://github.com/ContinuumIO/pycosat; + license = licenses.mit; + }; + }; pygit2 = buildPythonPackage rec { name = "pygit2-0.21.2"; |