Muriithi Frederick Muriuki <fredmang...@gmail.com> writes: > * gnu/packages/python.scm (python-pycosat): New variable. > --- > gnu/packages/python.scm | 20 ++++++++++++++++++++ > 1 file changed, 20 insertions(+) > > diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm > index 44704b2..170107a 100644 > --- a/gnu/packages/python.scm > +++ b/gnu/packages/python.scm > @@ -12605,3 +12605,23 @@ faster ones are not available.") > it with different test data, and make it appear as multiple test cases") > (license (license:non-copyleft > "https://github.com/txels/ddt/blob/master/LICENSE.md")))) > + > +(define-public python-pycosat > + (package > + (name "python-pycosat") > + (version "0.6.1") > + (source > + (origin > + (method url-fetch) > + (uri (pypi-uri "pycosat" version)) > + (sha256 > + (base32 > + "1kl3wh1f47rc712n4bmwplbx3fqz3x9i1b587jrbpmvdva4c8f6l")))) > + (build-system python-build-system) > + (home-page > + "https://github.com/ContinuumIO/pycosat") > + (synopsis "Bindings to picosat (a SAT solver)") > + (description > + "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")
Does this package not need "picosat" as input? Or is it bundled? Please also use @code{picosat} here, and preferably an explanation of the SAT acronym :) > + (license license:expat))) > -- > 2.1.4
signature.asc
Description: PGP signature