Doc index - cadical Packages contains this documentation Package: cadical apt-get install cadical Manuals in package: cadical(1) mobical(1) Documentations in package: cadical Documentation root: https://dweb.link/ipfs/bafybeibkdfdkek7yfxyxc6gcd4uao2k4r4pslgpsfktns2zgzt6xqeepgi