Пакет: minisat (1:2.2.1-8 и другие)

Ссылки для minisat

Ресурсы Debian:

Исходный код minisat2:

Сопровождающий:

Michael Tautschnig (Страница КК)

Внешние ресурсы:

Сайт [minisat.se]

Подобные пакеты:

Fast and lightweight SAT solver

Despite the NP completeness of the satisfiability problem of Boolean formulas (SAT), SAT solvers are often able to decide this problem in a reasonable time frame. As all other NP complete problems are reducible to SAT, the solvers have become a general purpose tool for this class of problems.

MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. Winning all the industrial categories of the SAT 2005 competition, MiniSat is a good starting point both for future research in SAT, and for applications using SAT.

Теги: Область: Математика, Реализовано на: C++, implemented-in::java, role::program

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

зависимости

рекомендации

предложения

enhances

dep: libc6 (>= 2.34) [не arm64]

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

dep: libc6 (>= 2.38) [arm64]
dep: libgcc-s1 (>= 3.0) [не armel, armhf]

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

dep: libgcc-s1 (>= 3.5) [armel, armhf]
dep: libstdc++6 (>= 5)

стандартная библиотека GNU C++ версии 3
dep: zlib1g (>= 1:1.1.4)

библиотека сжатия

Загрузка minisat

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	1:2.2.1-8	81,2 Кб	406,0 Кб	[список файлов]
arm64	1:2.2.1-8+b1	82,6 Кб	497,0 Кб	[список файлов]
armel	1:2.2.1-8	75,8 Кб	361,0 Кб	[список файлов]
armhf	1:2.2.1-8	74,5 Кб	329,0 Кб	[список файлов]
i386	1:2.2.1-8	90,2 Кб	386,0 Кб	[список файлов]
mips64el	1:2.2.1-8	85,8 Кб	540,0 Кб	[список файлов]
ppc64el	1:2.2.1-8	87,1 Кб	523,0 Кб	[список файлов]
riscv64	1:2.2.1-8	147,4 Кб	1 120,0 Кб	[список файлов]
s390x	1:2.2.1-8	83,3 Кб	416,0 Кб	[список файлов]