ParKissat-RS solver for Mac A forked and modified version of the ParKissat-RS solver for compatibility with macOS