Note that this may raise NotImplementedError on Unix platforms like macOS where sem_getvalue() is not implemented.
Note that this isn't sufficient for Mariposa to run on macOS / Apple Silicon: the binaries in solvers/ are x86-64 Linux executables (ELF 64-bit LSB pie executable, x86-64, version 1 (GNU/Linux)). You may not want to merge this if you don't consider macOS a supported platform. However, I manually replaced the z3 binary with an ARM macOS one and Mariposa worked on my machine (after installing dependencies as described here: https://github.com/secure-foundations/mariposa/issues/10).
Partly addresses https://github.com/secure-foundations/mariposa/issues/10.
the multiprocessing docs say:
Note that this isn't sufficient for Mariposa to run on macOS / Apple Silicon: the binaries in
solvers/are x86-64 Linux executables (ELF 64-bit LSB pie executable, x86-64, version 1 (GNU/Linux)). You may not want to merge this if you don't consider macOS a supported platform. However, I manually replaced the z3 binary with an ARM macOS one and Mariposa worked on my machine (after installing dependencies as described here: https://github.com/secure-foundations/mariposa/issues/10).