ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-24 21:38:07 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Add python-pycosat.

Browse source 
* gnu/packages/python.scm (python-pycosat, python2-pycosat): New variables.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
This commit is contained in:
Muriithi Frederick Muriuki 2017-02-09 20:48:35 +03:00 committed by Marius Bakke
parent 2f4623dbd8
commit 2299b13738
No known key found for this signature in database
GPG key ID: A2A06DF2A33A54FA
1 changed files with 25 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
gnu/packages/python.scm
View file

@ -12608,3 +12608,28 @@ (define-public python-ddt
(define-public python2-ddt
(package-with-python2 python-ddt))
(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"))))
;; TODO: Unundle picosat. http://fmv.jku.at/picosat/
(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. When importing pycosat, the @code{picosat} solver becomes part
of the Python process itself. @code{picosat} is a @dfn{Boolean Satisfiability
Problem} (SAT) solver.")
(license license:expat)))
(define-public python2-pycosat
(package-with-python2 python-pycosat))