Added option -c to call CaDiCaL solver inside bmc3 engine (bmc3 -c)

[Meneya]

Overview

This PR integrates the CaDiCaL SAT solver into ABC's bmc3 engine.

The integration adds support for using CaDiCaL as an alternative SAT backend
during bmc3 workflow while preserving existing solver flows.

---

Main Changes

• Connected CaDiCaL backend to bmc3
• Extended SAT abstraction/wrapper logic where required
• Preserved compatibility with existing SAT solvers

---

Motivation

CaDiCaL provides strong SAT-solving performance on modern verification
benchmarks and can improve solving efficiency for BMC workloads.

This integration allows experimentation and evaluation of CaDiCaL within
ABC's bmc3 verification flow without disrupting existing functionality.

---

Testing

Tested on:

• Ubuntu 22.04
• HWMCC benchmark instances
• standard bmc3 workflows

Validation performed:

• successful compilation
• SAT/UNSAT correctness checks
• comparison against existing bmc3 -g behavior

---

Notes

• Existing solver integrations remain unchanged
• CaDiCaL support is optional/configurable
• No existing command behavior was intentionally modified

Please provide your valuable feedback on code organization or integration structure.

[alanminko]

Thank you for the helpful contribution.