Armin Biere, Tobias Faller, Katalin Fazekas, Dr., Mathias Fleury, Nils Froleyks, Florian Pollitt,
"CaDiCaL 2.0"
, in Gurfinkel, Arie andGanesh, Vijay: 36th International Conference on Computer-Aided Verification, CAV 2024, Serie Lecture Notes in Computer Science,, Nummer 14681, Springer Nature Switzerland, Seite(n) 133-152, 7-2024, ISBN: 978-3-031-65627-9
Original Titel:
CaDiCaL 2.0
Sprache des Titels:
Englisch
Original Buchtitel:
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-