Pakiet: libcryptominisat5-5.11t64 (5.11.21+dfsg1-1 i inne) [debports]

[ Pakiet źródłowy:  ]

SAT solver library

CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.

This package provides a shared library to link against the CryptoMiniSat library.

Inne pakiety związane z libcryptominisat5-5.11t64

• dep: libc6 (>= 2.34)

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

• dep: libgcc-s2 (>= 4.2.1)

  Biblioteka wspomagająca GCC

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

  Standardowa biblioteka GNU C++, wersja 3

Pobieranie libcryptominisat5-5.11t64

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
m68k (port nieoficjalny)	5.11.21+dfsg1-1+b2	449,4 KiB	1 272,0 KiB	[lista plików]