Skip to content

CBMC: Add CaDiCaL as a second solver for all remaining proofs - #1521

Draft
mkannwischer wants to merge 8 commits into
mainfrom
cbmc-no-forall-skolemization
Draft

CBMC: Add CaDiCaL as a second solver for all remaining proofs#1521
mkannwischer wants to merge 8 commits into
mainfrom
cbmc-no-forall-skolemization

Commits

  1. Commits on Nov 3, 2026