Package cadical: Information

Source package: cadical

Version: 2.1.3-alt1

Build time:  May 25, 2025, 12:14 AM

Category: Sciences/Mathematics

Home page: https://fmv.jku.at/cadical/

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

License: MIT

Summary: CaDiCaL SAT Solver

Description: 

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.

List of RPM packages built from this SRPM:
cadical (loongarch64)
cadical-debuginfo (loongarch64)
libcadical-devel (loongarch64)
libcadical-devel-static (loongarch64)
libcadical0 (loongarch64)
libcadical0-debuginfo (loongarch64)

Maintainer: Daniel Zagaynov