diff --git a/org.alloytools.pardinus.native/native/darwin/amd64/electrod b/org.alloytools.pardinus.native/native/darwin/amd64/electrod
index 34cd4e755..cd8a90517 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/libglucose.dylib b/org.alloytools.pardinus.native/native/darwin/amd64/libglucose.dylib
index be7087693..3909bd518 100755
Binary files a/org.alloytools.pardinus.native/native/darwin/amd64/libglucose.dylib and b/org.alloytools.pardinus.native/native/darwin/amd64/libglucose.dylib differ
diff --git a/org.alloytools.pardinus.native/native/darwin/amd64/libminisat.dylib b/org.alloytools.pardinus.native/native/darwin/amd64/libminisat.dylib
index a2276b5c8..f4c665c85 100755
Binary files a/org.alloytools.pardinus.native/native/darwin/amd64/libminisat.dylib and b/org.alloytools.pardinus.native/native/darwin/amd64/libminisat.dylib differ
diff --git a/org.alloytools.pardinus.native/native/darwin/amd64/libminisatprover.dylib b/org.alloytools.pardinus.native/native/darwin/amd64/libminisatprover.dylib
index ac80bb8a7..2a09adb60 100755
Binary files a/org.alloytools.pardinus.native/native/darwin/amd64/libminisatprover.dylib and b/org.alloytools.pardinus.native/native/darwin/amd64/libminisatprover.dylib differ
diff --git a/org.alloytools.pardinus.native/native/darwin/amd64/plingeling b/org.alloytools.pardinus.native/native/darwin/amd64/plingeling
index 75cba4974..c42d853f9 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 480ac3994..f3b16b2b5 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/libglucose.dylib b/org.alloytools.pardinus.native/native/darwin/arm64/libglucose.dylib
index 1d8f7b8ed..46d60794b 100755
Binary files a/org.alloytools.pardinus.native/native/darwin/arm64/libglucose.dylib and b/org.alloytools.pardinus.native/native/darwin/arm64/libglucose.dylib differ
diff --git a/org.alloytools.pardinus.native/native/darwin/arm64/libminisat.dylib b/org.alloytools.pardinus.native/native/darwin/arm64/libminisat.dylib
index ae3abc3c6..831c2602a 100755
Binary files a/org.alloytools.pardinus.native/native/darwin/arm64/libminisat.dylib and b/org.alloytools.pardinus.native/native/darwin/arm64/libminisat.dylib differ
diff --git a/org.alloytools.pardinus.native/native/darwin/arm64/libminisatprover.dylib b/org.alloytools.pardinus.native/native/darwin/arm64/libminisatprover.dylib
index 9c78c55cb..bb62091ce 100755
Binary files a/org.alloytools.pardinus.native/native/darwin/arm64/libminisatprover.dylib and b/org.alloytools.pardinus.native/native/darwin/arm64/libminisatprover.dylib differ
diff --git a/org.alloytools.pardinus.native/native/darwin/arm64/plingeling b/org.alloytools.pardinus.native/native/darwin/arm64/plingeling
index c8c30377e..cd169297e 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/electrod b/org.alloytools.pardinus.native/native/linux/amd64/electrod
index f3d632492..6f6ac3f45 100644
Binary files a/org.alloytools.pardinus.native/native/linux/amd64/electrod and b/org.alloytools.pardinus.native/native/linux/amd64/electrod differ
diff --git a/org.alloytools.pardinus.native/native/linux/amd64/plingeling b/org.alloytools.pardinus.native/native/linux/amd64/plingeling
index 63ea1a9dd..b0eee1372 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 3d270c71a..4d3a4c1db 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 e7c18ce8b..9f39733b2 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 cc864039e..47325d49b 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