Пакет: libcryptominisat5-5.8 (5.8.0+dfsg1-1 и другие)

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

• dep: libc6 (>= 2.29)

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

• dep: libgcc-s1 (>= 3.0)

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

• dep: libm4ri-0.0.20200125 (>= 20200125)

  Method of the Four Russians Inversion library, shared library

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

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

Загрузка libcryptominisat5-5.8

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

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
s390x	5.8.0+dfsg1-1+b3	372,4 Кб	1 145,0 Кб	[список файлов]