cbmc: enable building CBMC with both minisat and cadical by default

[NlightNFotis]

Hello.

I am a maintainer of CBMC.

Recently we added the capacity to build with both minisat and cadical as solvers by default, but we forgot to bring the formula here up-to-speed with our latest build system changes. The change itself was made in diffblue/cbmc#7493.

• Have you followed the guidelines for contributing?
• Have you ensured that your commits follow the commit style guide?
• Have you checked that there aren't other open pull requests for the same formula update/change?
• Have you built your formula locally with brew install --build-from-source <formula>, where <formula> is the name of the formula you're submitting?
• Is your test running fine brew test <formula>, where <formula> is the name of the formula you're submitting?
• Does your build pass brew audit --strict <formula> (after doing brew install --build-from-source <formula>)? If this is a new formula, does it pass brew audit --new <formula>?

---

[chenrui333]

Thanks @NlightNFotis!!

[BrewTestBot]

🤖 A scheduled task has triggered a merge.