Skip to content

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

Merged
alanminko merged 1 commit into
berkeley-abc:masterfrom
Meneya:bmc3c
May 15, 2026
Merged

Added option -c to call CaDiCaL solver inside bmc3 engine (bmc3 -c)#507
alanminko merged 1 commit into
berkeley-abc:masterfrom
Meneya:bmc3c

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

5096a78
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
build-windows
succeeded May 14, 2026 in 6m 15s