Balík: libcryptominisat5-5.11 (5.11.4+dfsg1-2 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.

Značky: Role: Shared Library

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

• 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 (>= 4.2)

  podporná knižnica GCC

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

  štandardná knižnica C++ GNU v3

Stiahnuť libcryptominisat5-5.11

Stiahnuť pre všetky dostupné architektúry

Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
i386	5.11.4+dfsg1-2+b1	515.8 kB	1,341.0 kB	[zoznam súborov]