Package cadical: Information

    Source package: cadical
    Version: 2.1.2-alt1
    Latest version according to Repology
    Build time:  Feb 3, 2025, 02:59 PM in the task #373061
    Report package bug
    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)

    Maintainer: Daniel Zagaynov

    List of contributors:
    Daniel Zagaynov


      1. gcc-c++

    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