Muriithi Frederick Muriuki <fredmang...@gmail.com> writes: > * gnu/packages/python.scm (python-pycosat): New variable.
Applied! This software bundles the "picosat" C program, so I added a TODO note for removing it (we try to unbundle software and use Guix versions wherever feasible). > --- > gnu/packages/python.scm | 21 +++++++++++++++++++++ > 1 file changed, 21 insertions(+) > > diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm > index 9e17caf..e9df67c 100644 > --- a/gnu/packages/python.scm > +++ b/gnu/packages/python.scm > @@ -12604,3 +12604,24 @@ faster ones are not available.") > (description "DDT (Data-Driven Tests) allows you to multiply one test > case by running > it with different test data, and make it appear as multiple test cases.") > (license license:expat))) > + > +(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 @code{picosat} on > the C level, > + i.e. when importing pycosat, the @code{picosat} solver becomes part of the > Python process > + itself. @code{picosat} is a Boolean Satisfiability Problem (SAT) solver") > + (license license:expat))) > -- > 2.10.2
signature.asc
Description: PGP signature