开发CaDiCaL的目标是获得CDCL解算器，这很容易理解和改变，同时又不是比其他最先进的CDCL解算器慢得多。

最初我们还想从根本上简化设计和内部数据但该目标仅部分实现，例如与玲玲相比。

然而，代码有更好的文档记录，CaDiCaL实际上成为了虽然缺少一些预处理器，但总体速度比Lingeling快（主要是奇偶性和基数约束推理），这将是至关重要的解决某些情况。

使用./configure和make配置和构建卡迪卡牌汽车和图书馆利巴迪卡尔。一默认情况下建造子目录。的头文件图书馆是src/cadical.hpp并包括一个示例用于API使用。

请参见建筑md获取与构建相关的选项和更多详细信息过程和测试/README.md用于测试库和求解器。自1.5.1版以来，我们有一个NEWS.md公司文件。您可能还想退房贡献.md在如果你想做出贡献。

解算器有以下用法卡迪卡[迪马科斯[证据].请参见卡迪卡-h了解更多选项。

如果你想引用CaDiCaL，请引用我们的CaDiCaL2.0工具CAV’24上发表的论文：

钙DiCaL2
阿明·比尔,托拜厄斯瀑布,卡塔琳·法泽卡斯,马蒂亚斯·弗勒里,尼尔斯·弗罗利克斯和弗洛里安·波利特
程序。计算机辅助验证-第26届国际会议。（CAV’24）
计算机科学（LNCS）课堂讲稿
第14681卷，第133-152页，斯普林格2024
[纸张|围巾|官方的|人工制品|github|国防部]