Package: wnpp Severity: wishlist Subject: ITP: python-pycosat -- Python bindings to picosat Package: wnpp Owner: <> Severity: wishlist
* Package name : python-pycosat Version : 0.6.3 Upstream Author : Ilan Schnell, Continuum Analytics, Inc. * URL : https://pypi.org/project/pycosat/ * License : MIT Programming Lang: Python Description : Python bindings to picosat 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. Remark: This package is maintained by Debian Med Packaging Team at https://salsa.debian.org/med-team/python-pycosat