CaDiCaL 2.2 System Description Artifact
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://zenodo.org/record/14923246
下载链接
链接失效反馈官方服务：
资源简介：
This is the artifact of our CaDiCaL 2.2 paper.
We provide results on the benchmarks for the SAT Competition 2024.
The benchmarks were downloaded from the competition page.
- `bin` binary contains the actual binaries used- `src` contains the source code of all solvers and tooles used- `cadical-2.2` contains the experimental results for the new CaDiCaL 2.2- `cadical-2.0` contains the experimental results for the old CaDiCaL 2.0- `kissat-mab-hywalk-sc2022` results for the winner of SAT Competition 2024- `kissat-sc2024` results for the winner of the SAT Competition 2024- `sbva-cadical-sc2023` results for the winner of the SAT Competition 2023
创建时间：
2025-02-28
