36th International Conference on Computer-Aided Verification, CAV 2024
Original Kurzfassung:
The SAT solver CaDiCaLprovides a rich feature set with a clean library interface. It hasbeen adopted by many users, is well documented and easy to extenddue to its effective testing and debugging infrastructure. In thistool paper we give a high-level introduction into the solverarchitecture and then go briefly over implemented techniques. Wedescribe basic features and novel advanced usage scenarios.Experiments confirm that CaDiCaL despite this flexibility hasstate-of-the-art performance both in a stand-alone as well asincremental setting.
Forschungs-