Native code update request

AlloyTools · Jan 6, 2025 · 5697ccf · 5697ccf
1 parent ee025d0
commit 5697ccf
Show file tree

Hide file tree

Showing 8 changed files with 0 additions and 0 deletions.
diff --git a/org.alloytools.pardinus.native/native/darwin/amd64/electrod b/org.alloytools.pardinus.native/native/darwin/amd64/electrod
diff --git a/org.alloytools.pardinus.native/native/darwin/amd64/plingeling b/org.alloytools.pardinus.native/native/darwin/amd64/plingeling
diff --git a/org.alloytools.pardinus.native/native/darwin/arm64/electrod b/org.alloytools.pardinus.native/native/darwin/arm64/electrod
diff --git a/org.alloytools.pardinus.native/native/darwin/arm64/plingeling b/org.alloytools.pardinus.native/native/darwin/arm64/plingeling
diff --git a/org.alloytools.pardinus.native/native/linux/amd64/plingeling b/org.alloytools.pardinus.native/native/linux/amd64/plingeling
diff --git a/org.alloytools.pardinus.native/native/windows/amd64/electrod.exe b/org.alloytools.pardinus.native/native/windows/amd64/electrod.exe
diff --git a/org.alloytools.pardinus.native/native/windows/amd64/glucose.dll b/org.alloytools.pardinus.native/native/windows/amd64/glucose.dll
diff --git a/org.alloytools.pardinus.native/native/windows/amd64/minisat.dll b/org.alloytools.pardinus.native/native/windows/amd64/minisat.dll