update to CaDiCaL with shrinking enabled by default

sfiruch · Nov 27, 2023 · 959e556 · 959e556
1 parent 1e6009c
commit 959e556
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/SATInterface/CaDiCaL.dll b/SATInterface/CaDiCaL.dll