wszystkie opcje
bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Pakiet źródłowy: cryptominisat  ]

Pakiet: python3-cryptominisat (5.11.21+dfsg1-3 i inne)

Odnośniki dla python3-cryptominisat

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego cryptominisat:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

Wiązania Pythona dla solvera CryptoMiniSat SAT (Python 3)

CryptoMiniSat to nowoczesny, wielowątkowy i uproszczony solver SAT.

Ten pakiet zawiera moduł pycryptosat, który umożliwia używanie CryptoMiniSat z poziomu Pythona 3. Przykłady można znaleźć pod adresem: https://github.com/msoos/cryptominisat#python-usage.

Inne pakiety związane z python3-cryptominisat

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie python3-cryptominisat

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 5.11.21+dfsg1-3+b1 584,4 KiB1 714,0 KiB [lista plików]
arm64 5.11.21+dfsg1-3+b1 523,6 KiB1 614,0 KiB [lista plików]
armhf 5.11.21+dfsg1-3+b1 528,1 KiB1 292,0 KiB [lista plików]
i386 5.11.21+dfsg1-3+b1 634,1 KiB1 836,0 KiB [lista plików]
ppc64el 5.11.21+dfsg1-3+b1 624,5 KiB1 998,0 KiB [lista plików]
riscv64 5.11.21+dfsg1-3+b1 604,7 KiB1 425,0 KiB [lista plików]
s390x 5.11.21+dfsg1-3+b1 600,0 KiB1 793,0 KiB [lista plików]