Skip to content

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
Merged

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

Added option -c to call CaDiCaL solver inside bmc3 engine (bmc3 -c)
5096a78
Select commit
Loading
Failed to load commit list.

Annotations

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