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

[ Zdroj: cryptominisat  ]

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

• dep: libc6 (>= 2.34)

  knižnica GNU C - zdieľané knižnice
  tiež virtuálny balík poskytovaný balíkom libc6-udeb

• dep: libgcc-s1 (>= 3.5)

  podporná knižnica GCC

• dep: libstdc++6 (>= 13.1)

  štandardná knižnica C++ GNU v3

Stiahnuť libcryptominisat5-5.11t64

Stiahnuť pre všetky dostupné architektúry

Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
armhf	5.11.21+dfsg1-1+b3	466.2 kB	984.0 kB	[zoznam súborov]