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

alanminko merged 1 commit into

berkeley-abc:masterberkeley-abc/abc:masterfrom

Meneya:bmc3cMeneya/abc-bmc3-cadical:bmc3cCopy head branch name to clipboard