Pakiet: libcryptominisat5-5.8 (5.8.0+dfsg1-1 i inne)

[ Pakiet źródłowy: 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.

Znaczniki: Rola: Biblioteka współdzielona

Inne pakiety związane z libcryptominisat5-5.8

• dep: libc6 (>= 2.29)

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

• dep: libgcc-s1 (>= 3.5)

  Biblioteka wspomagająca GCC

• dep: libm4ri-0.0.20200125 (>= 20200125)

  Method of the Four Russians Inversion library, shared library

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

  Standardowa biblioteka GNU C++, wersja 3

Pobieranie libcryptominisat5-5.8

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
armhf	5.8.0+dfsg1-1+b3	375,7 KiB	757,0 KiB	[lista plików]