Пакет: cadical (1.5.3-2)

[ Источник: cadical  ]

Simplified Satisfiability Solver

CaDiCaL is a CDCL solver that is easy to understand and change, while at the same time not being much slower than other state-of-the-art CDCL solvers.

This package contains binaries needed to use CaDiCaL as a stand-alone tool.

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

• dep: libc6 (>= 2.34)

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

• dep: libgcc-s1 (>= 3.0) [не armel, armhf, mipsel]

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

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

  dep: libgcc-s1 (>= 4.2) [mipsel]

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

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

Загрузка cadical

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

Архитектура	Размер пакета	В установленном виде	Файлы
amd64	309,3 Кб	1 404,0 Кб	[список файлов]
arm64	268,7 Кб	1 396,0 Кб	[список файлов]
armel	269,8 Кб	1 386,0 Кб	[список файлов]
armhf	274,0 Кб	1 002,0 Кб	[список файлов]
i386	336,9 Кб	1 582,0 Кб	[список файлов]
mips64el	306,5 Кб	1 845,0 Кб	[список файлов]
mipsel	324,0 Кб	1 827,0 Кб	[список файлов]
ppc64el	316,4 Кб	1 844,0 Кб	[список файлов]
s390x	271,4 Кб	1 432,0 Кб	[список файлов]