CaDiCaL简化满意度求解器

的目标钙DiCaL是提供清洁高效的最新技术CDCL公司解算器，也很容易理解和更改。

新闻

CaDiCaL在2019年SAT竞赛和第二个整体位置。

最新版本

以下是提交版本的源代码存档到坐2020年竞争:

[ 卡迪卡尔-sc2020-45029f8.tar.xz ]

您还可以通过CaDiCaL储存库在github：

https://github.com/arminbiere/cadical

SAT竞赛和SAT竞赛版本

SAT解算器的早期来源钙DiCaL包括提交的到2019年SAT竞赛,SAT竞赛2018和SAT竞赛2017可在此处获得：

[ 卡迪卡尔-1.0.3-cb89cbf.tar.xz ]
[ 卡迪卡尔-1.00-c861e12.tar.xz ]
[ 卡迪卡尔-sr2019-9362f49-release.tar.xz ]
[ 卡迪卡尔-sc18-58331fd.tar.xz ]
[ 钙-钙-17-7a80db8.tar.xz ]