Can't run static macOS Yices-2.7.0 binary from GitHub release page

[RyanGlScott]

If I download https://github.com/SRI-CSL/yices2/releases/download/yices-2.7.0/yices-2.7.0-arm-apple-darwin24.5.0-static-gmp.tar.gz from the GitHub release page for Yices-2.7.0 and attempt to run it, it fails with:

$ ~/Software/yices-2.7.0/bin/yices-smt2 test.smt2
dyld[77967]: Library not loaded: /usr/local/lib/libcudd-3.0.0.0.dylib
  Referenced from: <618EE23D-FF83-3141-9E9A-3BB752E81B3F> /Users/rscott/Software/yices-2.7.0/bin/yices-smt2
  Reason: tried: '/usr/local/lib/libcudd-3.0.0.0.dylib' (no such file), '/System/Volumes/Preboot/Cryptexes/OS/usr/local/lib/libcudd-3.0.0.0.dylib' (no such file), '/usr/local/lib/libcudd-3.0.0.0.dylib' (no such file)
Abort trap: 6              ~/Software/yices-2.7.0/bin/yices-smt2 test.smt2

Although the name suggests that this is a statically linked binary, otool reveals that the binary has a dynamic dependency on libcudd that is not being met:

$ otool -L ~/Software/yices-2.7.0/bin/yices-smt2
/Users/rscott/Software/yices-2.7.0/bin/yices-smt2:
	/usr/local/lib/libcudd-3.0.0.0.dylib (compatibility version 1.0.0, current version 1.0.0)
	/usr/lib/libSystem.B.dylib (compatibility version 1.0.0, current version 1351.0.0)

Could this binary be recompiled in a way that avoids the libcudd dependency?