Пакет: libcryptominisat5-5.11 (5.11.4+dfsg1-2 и другие)

[ Источник: 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.

Теги: Роль: Динамическая библиотека

Другие пакеты, относящиеся к libcryptominisat5-5.11

• dep: libc6 (>= 2.34)

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

• dep: libgcc-s1 (>= 4.2)

  вспомогательная библиотека GCC

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

  стандартная библиотека GNU C++ версии 3

Загрузка libcryptominisat5-5.11

Загрузить для всех доступных архитектур

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
i386	5.11.4+dfsg1-2+b1	515,8 Кб	1 341,0 Кб	[список файлов]