все параметры
[  bianca  ] [  aria  ]
[ Источник: cadical  ]

Пакет: libcadical-dev (1.5.3-2)

Ссылки для libcadical-dev

Screenshot

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

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

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

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

Simplified Satisfiability Solver (development files)

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 development files for CaDiCaL. Install it if you want to develop applications that use CaDiCaL's API.

Загрузка libcadical-dev

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
amd64 280,8 Кб1 522,0 Кб [список файлов]
arm64 262,2 Кб1 556,0 Кб [список файлов]