Worked on the sosy-lab/java-smt repository to enable native macOS support for MathSAT5j, focusing on improving cross-platform build processes. Developed dynamic library build support for libmathsat5j on macOS by extending the existing shell-based compile script, ensuring compatibility with the macOS toolchain. Adjusted Java header include paths and updated the linking process to use clang with macOS-specific flags, which enhanced the reliability of native builds. Incorporated a code signing reminder to streamline deployment for macOS users. The work demonstrated proficiency in build systems, shell scripting, and macOS development, addressing integration challenges and improving the overall developer experience.