all options
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: python-pycosat  ]

Package: python3-pycosat (0.6.3+dfsg-1 and others)

Links for python3-pycosat

Screenshot

Debian Resources:

Download Source Package python-pycosat:

Maintainers:

External Resources:

Similar packages:

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.

Other Packages Related to python3-pycosat

  • depends
  • recommends
  • suggests
  • enhances

Download python3-pycosat

Download for all available architectures
Architecture Version Package Size Installed Size Files
s390x 0.6.3+dfsg-1+b4 10.8 kB47.0 kB [list of files]