Artifact CaDiCaL 3.0 Paper
收藏官方服务：
资源简介：
This artifact contains the experimental data for our CaDiCaL 3.0 paper including source code, binaries, scripts to run the experiments, log-files, plots and scripts to produce plots. The SAT Competition 2025 and Hardward Model Checking Competition 2025 benchmarks used in our experiments are available separately.
提供机构：
Zenodo创建时间：
2026-03-09
