Balík: libcryptominisat5-5.8 (5.8.0+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.

Značky: Role: Shared Library

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

• dep: libc6 (>= 2.29)

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

• dep: libgcc-s1 (>= 3.0)

  podporná knižnica GCC

• dep: libm4ri-0.0.20200125 (>= 20200125)

  knižnica metódy štyroch rusov - zdieľaná knižnica

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

  štandardná knižnica C++ GNU v3

Stiahnuť libcryptominisat5-5.8

Stiahnuť pre všetky dostupné architektúry

Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
ppc64el	5.8.0+dfsg1-1+b3	445.0 kB	1,430.0 kB	[zoznam súborov]