Links for cadical-2
cadical-2-2.2.1.tar.gz