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

[ Zdroj:  ]

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-s4 (>= 4.1.1)

  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
hppa (neoficiálny port)	5.11.21+dfsg1-1+b3	546.7 kB	1,635.0 kB	[zoznam súborov]