diff --git a/.gitignore b/.gitignore
index 15da593af..797c9402f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -16,24 +16,6 @@ enroute.zip
 *.gch
 *.pch
 
-# Compiled Dynamic libraries
-*.so
-*.dylib
-*.dll
-
-# Fortran module files
-*.mod
-
-# Compiled Static libraries
-*.lai
-*.la
-*.a
-*.lib
-
-# Executables
-*.exe
-*.out
-*.app
 
 .idea
 *.iml
diff --git a/org.alloytools.pardinus.native/native-code/Makefile b/org.alloytools.pardinus.native/native-code/Makefile
index eef26b433..f53e724ac 100644
--- a/org.alloytools.pardinus.native/native-code/Makefile
+++ b/org.alloytools.pardinus.native/native-code/Makefile
@@ -1,5 +1,5 @@
 #
-# On a mac (x86/arm) just type make in this directory
+# On a mac (amd64/arm64) just type make in this directory
 # All native code will end up in ../native/OS/ARCH. OS=[darwin,linux,windows], ARCH=[amd64,arm64]
 #
 
diff --git a/org.alloytools.pardinus.native/native/darwin/amd64/libglucose.dylib b/org.alloytools.pardinus.native/native/darwin/amd64/libglucose.dylib
new file mode 100755
index 000000000..c401b24f7
Binary files /dev/null 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
new file mode 100755
index 000000000..c7d999974
Binary files /dev/null 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
new file mode 100755
index 000000000..f57a99057
Binary files /dev/null and b/org.alloytools.pardinus.native/native/darwin/amd64/libminisatprover.dylib differ
diff --git a/org.alloytools.pardinus.native/native/darwin/arm64/libglucose.dylib b/org.alloytools.pardinus.native/native/darwin/arm64/libglucose.dylib
new file mode 100755
index 000000000..8f5025034
Binary files /dev/null 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
new file mode 100755
index 000000000..d925312b0
Binary files /dev/null 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
new file mode 100755
index 000000000..6e464532b
Binary files /dev/null and b/org.alloytools.pardinus.native/native/darwin/arm64/libminisatprover.dylib differ
diff --git a/org.alloytools.pardinus.native/native/linux/amd64/libglucose.so b/org.alloytools.pardinus.native/native/linux/amd64/libglucose.so
new file mode 100755
index 000000000..528946e28
Binary files /dev/null and b/org.alloytools.pardinus.native/native/linux/amd64/libglucose.so differ
diff --git a/org.alloytools.pardinus.native/native/linux/amd64/libminisat.so b/org.alloytools.pardinus.native/native/linux/amd64/libminisat.so
new file mode 100755
index 000000000..bf0abc747
Binary files /dev/null and b/org.alloytools.pardinus.native/native/linux/amd64/libminisat.so differ
diff --git a/org.alloytools.pardinus.native/native/linux/amd64/libminisatprover.so b/org.alloytools.pardinus.native/native/linux/amd64/libminisatprover.so
new file mode 100755
index 000000000..7ed6b9007
Binary files /dev/null and b/org.alloytools.pardinus.native/native/linux/amd64/libminisatprover.so differ
diff --git a/org.alloytools.pardinus.native/native/windows/amd64/glucose.dll b/org.alloytools.pardinus.native/native/windows/amd64/glucose.dll
new file mode 100755
index 000000000..04c822a8d
Binary files /dev/null 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
new file mode 100755
index 000000000..917a61694
Binary files /dev/null and b/org.alloytools.pardinus.native/native/windows/amd64/minisat.dll differ