fix: include needed binaries by static linking instead of dynamic lin…

…king for mac
ProvideQ · Feb 3, 2025 · dd383f6 · dd383f6
1 parent 2667d90
commit dd383f6
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/solvers/custom/sharp-sat/ganak/bin/ganak-mac b/solvers/custom/sharp-sat/ganak/bin/ganak-mac