Пакет: libcryptominisat5-5.11t64 (5.11.21+dfsg1-1) [debports]

[ Източник:  ]

SAT solver library

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

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

Други пакети, свързани с libcryptominisat5-5.11t64

• dep: libc6.1 (>= 2.34)

  GNU C Library: Shared libraries
  също и виртуален пакет, предлаган от libc6.1-udeb

• dep: libgcc-s1 (>= 3.4)

  GCC support library

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

  GNU Standard C++ Library v3

Изтегляне на libcryptominisat5-5.11t64

Изтегляне за всички налични архитектури

Архитектура	Големина на пакета	Големина след инсталиране	Файлове
alpha (неофициална архитектура)	477,4 кБ	1 562,0 кБ	[списък на файловете]