Fix array refinement crash with CaDiCaL SAT solver #8849
+32
−14
Merged
Loading