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

Ссылки для cadical

Отслеживание заплат eLxr

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

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

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

Сайт [fmv.jku.at]

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

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

зависимости

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

предложения

enhances

dep: libc6 (>= 2.34)

GNU C Library: Shared libraries
также виртуальный пакет, предоставляемый libc6-udeb
dep: libgcc-s1 (>= 3.0)

GCC support library
dep: libstdc++6 (>= 11)

GNU Standard C++ Library v3

Загрузка cadical

Загрузить для всех доступных архитектур
Архитектура	Размер пакета	В установленном виде	Файлы
amd64	309,3 Кб	1 404,0 Кб	[список файлов]