Пакет cadical: Информация

Исходный пакет: cadical

Версия: 1.9.5-alt1

Собран:  10 марта 2024 г. 22:53 в задании #342420

Категория: Науки/Математика

Gear: https://git.altlinux.org/gears/c/cadical.git?a=tree;hb=cc791c2f5…

Домашняя страница: https://fmv.jku.at/cadical/

VCS: https://github.com/arminbiere/cadical.git

Лицензия: MIT

О пакете: CaDiCaL SAT Solver

Описание: 

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

Список бинарных RPM-пакетов, собираемых из данного SRPM:
cadical (x86_64, ppc64le, i586, armh, aarch64)
cadical-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
libcadical-devel (x86_64, ppc64le, i586, armh, aarch64)
libcadical-devel-static (x86_64, ppc64le, i586, armh, aarch64)
libcadical0 (x86_64, ppc64le, i586, armh, aarch64)
libcadical0-debuginfo (x86_64, ppc64le, i586, armh, aarch64)

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