I would like to use it aswell -- are there any plans to move this forward, or is there any fundamental blocker?

We appreciate your patience and understand the requirement. At the moment, our team lacks deep expertise with macOS and also the corresponding hardware. Getting started on this will likely require additional time and effort. Supporting macOS presents some unique challenges with native libraries, including:

• Testing Constraints: We don’t currently have the setup to test on macOS. While some CI tools support it, we lack the initial configuration and developer machines to make it happen.
• Publishing Hurdles: Signing and publishing native libraries for macOS is complex, requiring an Apple Developer account and macOS-specific tools (only available on macOS). Cross-compilation is also something we’re unsure about here.

We’d love to improve macOS support down the line, but with our current resources, it’s not something we can address quickly. If you have any specific suggestions or details that could help us move this along, please let us know - we’d be happy to collaborate. We’ll keep this issue open to track progress and interest.

Related issues:

• Improve CI coverage for more systems like MacOS and Windows #384
• Extend compile.sh for libmathsat5j for macOS dylib #430