všetky možnosti
trixie  ] [  sid  ]
[ Zdroj: cryptominisat  ]

Balík: libcryptominisat5-5.11t64 (5.11.21+dfsg1-1 a iné)

Odkazy pre libcryptominisat5-5.11t64

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík cryptominisat:

Správcovia:

Externé zdroje:

Podobné balíky:

SAT solver library

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

This package provides a shared library to link against the CryptoMiniSat library.

Ostatné balíky súvisiace s balíkom libcryptominisat5-5.11t64

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť libcryptominisat5-5.11t64

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
alpha (neoficiálny port) 5.11.15+dfsg1-1.1 479.9 kB1,562.0 kB [zoznam súborov]
amd64 5.11.21+dfsg1-1 491.7 kB1,304.0 kB [zoznam súborov]
arm64 5.11.21+dfsg1-1 449.9 kB1,303.0 kB [zoznam súborov]
armel 5.11.21+dfsg1-1 439.8 kB1,251.0 kB [zoznam súborov]
armhf 5.11.21+dfsg1-1 456.9 kB923.0 kB [zoznam súborov]
hppa (neoficiálny port) 5.11.21+dfsg1-1 532.8 kB1,634.0 kB [zoznam súborov]
i386 5.11.21+dfsg1-1 517.6 kB1,351.0 kB [zoznam súborov]
ia64 (neoficiálny port) 5.11.15+dfsg1-1.1 651.8 kB2,821.0 kB [zoznam súborov]
m68k (neoficiálny port) 5.11.21+dfsg1-1 449.8 kB1,271.0 kB [zoznam súborov]
mips64el 5.11.21+dfsg1-1 463.8 kB1,638.0 kB [zoznam súborov]
ppc64 (neoficiálny port) 5.11.21+dfsg1-1 530.4 kB1,816.0 kB [zoznam súborov]
ppc64el 5.11.21+dfsg1-1 531.3 kB1,688.0 kB [zoznam súborov]
riscv64 5.11.21+dfsg1-1 526.9 kB1,143.0 kB [zoznam súborov]
s390x 5.11.21+dfsg1-1 526.6 kB1,491.0 kB [zoznam súborov]
sh4 (neoficiálny port) 5.11.21+dfsg1-1 593.7 kB1,304.0 kB [zoznam súborov]
sparc64 (neoficiálny port) 5.11.21+dfsg1-1 427.4 kB2,079.0 kB [zoznam súborov]
x32 (neoficiálny port) 5.11.21+dfsg1-1 495.2 kB1,287.0 kB [zoznam súborov]