Tarkennettu haku
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: python-pycosat  ]

Paketti: python3-pycosat (0.6.6+dfsg-2)

Links for python3-pycosat

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti python-pycosat:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

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.

Muut pakettiin python3-pycosat liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi python3-pycosat

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
armel 11.2 kt43.0 kt [tiedostoluettelo]