CaDiCaL 2.0 CAV'24 Tool-Paper Artifact

The SAT solver CaDiCaL provides a rich feature set with a clean library interface. It has been adopted by many users, is well documented and easy to extend due to its effective testing and debugging infrastructure. In this tool paper we give a high-level introduction into the solver architecture and then go briefly over implemented techniques. We describe basic features and novel advanced usage scenarios. Experiments confirm that CaDiCaL despite this flexibility has state-of-the-art performance both in a stand-alone as well as incremental setting.

In this artifact we provide the detailed experiments, the source code of our tools, and how to reproduce our experiments. Please refer to the README.md for more details.