diff --git a/org.alloytools.pardinus.native/native/darwin/amd64/electrod b/org.alloytools.pardinus.native/native/darwin/amd64/electrod
index cd8a90517..1cdd2cfe4 100644
Binary files a/org.alloytools.pardinus.native/native/darwin/amd64/electrod and b/org.alloytools.pardinus.native/native/darwin/amd64/electrod differ
diff --git a/org.alloytools.pardinus.native/native/darwin/amd64/plingeling b/org.alloytools.pardinus.native/native/darwin/amd64/plingeling
index c42d853f9..5497c045e 100755
Binary files a/org.alloytools.pardinus.native/native/darwin/amd64/plingeling and b/org.alloytools.pardinus.native/native/darwin/amd64/plingeling differ
diff --git a/org.alloytools.pardinus.native/native/darwin/arm64/electrod b/org.alloytools.pardinus.native/native/darwin/arm64/electrod
index f3b16b2b5..1e8e469aa 100644
Binary files a/org.alloytools.pardinus.native/native/darwin/arm64/electrod and b/org.alloytools.pardinus.native/native/darwin/arm64/electrod differ
diff --git a/org.alloytools.pardinus.native/native/darwin/arm64/plingeling b/org.alloytools.pardinus.native/native/darwin/arm64/plingeling
index cd169297e..f41565006 100755
Binary files a/org.alloytools.pardinus.native/native/darwin/arm64/plingeling and b/org.alloytools.pardinus.native/native/darwin/arm64/plingeling differ
diff --git a/org.alloytools.pardinus.native/native/linux/amd64/plingeling b/org.alloytools.pardinus.native/native/linux/amd64/plingeling
index b0eee1372..e748db84a 100755
Binary files a/org.alloytools.pardinus.native/native/linux/amd64/plingeling and b/org.alloytools.pardinus.native/native/linux/amd64/plingeling differ
diff --git a/org.alloytools.pardinus.native/native/windows/amd64/electrod.exe b/org.alloytools.pardinus.native/native/windows/amd64/electrod.exe
index 4d3a4c1db..082fc0e9b 100644
Binary files a/org.alloytools.pardinus.native/native/windows/amd64/electrod.exe and b/org.alloytools.pardinus.native/native/windows/amd64/electrod.exe differ
diff --git a/org.alloytools.pardinus.native/native/windows/amd64/glucose.dll b/org.alloytools.pardinus.native/native/windows/amd64/glucose.dll
index 9f39733b2..cb75ac79a 100755
Binary files a/org.alloytools.pardinus.native/native/windows/amd64/glucose.dll and b/org.alloytools.pardinus.native/native/windows/amd64/glucose.dll differ
diff --git a/org.alloytools.pardinus.native/native/windows/amd64/minisat.dll b/org.alloytools.pardinus.native/native/windows/amd64/minisat.dll
index 47325d49b..a9baa64e4 100755
Binary files a/org.alloytools.pardinus.native/native/windows/amd64/minisat.dll and b/org.alloytools.pardinus.native/native/windows/amd64/minisat.dll differ