Package cadical: Information
Source package: cadical
Version: 2.1.2-alt1
Build time: Feb 3, 2025, 02:59 PM in the task #373061
Category: Sciences/Mathematics
Report package bugHome page: https://fmv.jku.at/cadical/
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 (x86_64, ppc64le, i586, aarch64)
cadical-debuginfo (x86_64, ppc64le, i586, aarch64)
libcadical-devel (x86_64, ppc64le, i586, aarch64)
libcadical-devel-static (x86_64, ppc64le, i586, aarch64)
libcadical0 (x86_64, ppc64le, i586, aarch64)
libcadical0-debuginfo (x86_64, ppc64le, i586, aarch64)
cadical (x86_64, ppc64le, i586, aarch64)
cadical-debuginfo (x86_64, ppc64le, i586, aarch64)
libcadical-devel (x86_64, ppc64le, i586, aarch64)
libcadical-devel-static (x86_64, ppc64le, i586, aarch64)
libcadical0 (x86_64, ppc64le, i586, aarch64)
libcadical0-debuginfo (x86_64, ppc64le, i586, aarch64)
Maintainer: Daniel Zagaynov
Last changed
Feb. 3, 2025 Daniel Zagaynov 2.1.2-alt1
- Update to upstream 2.1.2
Dec. 19, 2024 Daniel Zagaynov 2.1.1-alt1
- Update to upstream 2.1.1
Oct. 9, 2024 Daniel Zagaynov 2.1.0-alt1
- Update to upstream 2.1.0