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

Pakiet: cryptominisat (5.8.0+dfsg1-1 i inne)

Odnośniki dla cryptominisat

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego cryptominisat:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

SAT solver command line interface

CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.

This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable.

Inne pakiety związane z cryptominisat

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie cryptominisat

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 5.8.0+dfsg1-1+b3 86,0 KiB318,0 KiB [lista plików]
arm64 5.8.0+dfsg1-1+b3 80,6 KiB306,0 KiB [lista plików]
armel 5.8.0+dfsg1-1+b3 78,0 KiB276,0 KiB [lista plików]
armhf 5.8.0+dfsg1-1+b3 80,2 KiB224,0 KiB [lista plików]
i386 5.8.0+dfsg1-1+b3 90,9 KiB300,0 KiB [lista plików]
mips64el 5.8.0+dfsg1-1+b3 80,6 KiB376,0 KiB [lista plików]
mipsel 5.8.0+dfsg1-1+b3 82,9 KiB352,0 KiB [lista plików]
ppc64el 5.8.0+dfsg1-1+b3 89,5 KiB422,0 KiB [lista plików]
s390x 5.8.0+dfsg1-1+b3 81,4 KiB326,0 KiB [lista plików]