Sisyphus repository
Last update: 1 october 2023 | SRPMs: 18631 | Visits: 37037135
en ru br
ALT Linux repos
S:0.6.1-alt5

Group :: Development/Python3
RPM: python3-module-pycosat

 Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs and FR  Repocop 

Current version: 0.6.1-alt5
Build date: 20 november 2019, 12:06 ( 227.1 weeks ago )
Size: 53.38 Kb

Home page:   https://pypi.python.org/pypi/pycosat/

License: MIT
Summary: Bindings to picosat (a SAT solver)
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. These
files have been extracted from the picosat source (picosat-954.tar.gz).

Current maintainer: Andrey Bychkov

List of contributors

List of rpms provided by this srpm:

  • python3-module-pycosat-debuginfo
  • python3-module-pycosat
ACL:
     
    design & coding: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    current maintainer: Michael Shigorin