Cadical with preprocessor and local search#8502

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

cadical-preprocessordiffblue/cbmc:cadical-preprocessorCopy head branch name to clipboard