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.21+dfsg1-1 477.4 kB1,562.0 kB [zoznam súborov]
amd64 5.11.21+dfsg1-1+b1 491.8 kB1,305.0 kB [zoznam súborov]
arm64 5.11.21+dfsg1-1+b1 450.2 kB1,304.0 kB [zoznam súborov]
armel 5.11.21+dfsg1-1+b1 438.4 kB1,252.0 kB [zoznam súborov]
armhf 5.11.21+dfsg1-1+b1 457.6 kB924.0 kB [zoznam súborov]
hppa (neoficiálny port) 5.11.21+dfsg1-1+b1 533.4 kB1,635.0 kB [zoznam súborov]
i386 5.11.21+dfsg1-1+b1 518.0 kB1,352.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+b1 449.8 kB1,272.0 kB [zoznam súborov]
mips64el 5.11.21+dfsg1-1+b1 463.9 kB1,639.0 kB [zoznam súborov]
ppc64 (neoficiálny port) 5.11.21+dfsg1-1+b1 530.8 kB1,817.0 kB [zoznam súborov]
ppc64el 5.11.21+dfsg1-1+b1 531.3 kB1,689.0 kB [zoznam súborov]
riscv64 5.11.21+dfsg1-1+b1 527.1 kB1,144.0 kB [zoznam súborov]
s390x 5.11.21+dfsg1-1+b1 526.7 kB1,492.0 kB [zoznam súborov]
sh4 (neoficiálny port) 5.11.21+dfsg1-1+b1 594.1 kB1,305.0 kB [zoznam súborov]
sparc64 (neoficiálny port) 5.11.21+dfsg1-1+b1 427.5 kB2,080.0 kB [zoznam súborov]
x32 (neoficiálny port) 5.11.21+dfsg1-1+b1 495.5 kB1,288.0 kB [zoznam súborov]