Update CaDiCaL from 2.0.0 to 2.2.0#8736

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cadical-2.2.0tautschnig/cbmc:cadical-2.2.0Copy head branch name to clipboard