ParKissat-RS solver for Mac

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

Highlights

  • Fixed function declaration errors by including the appropriate header
  • Modified makefile for macOS

Usage

  • Make sure you have installed gcc-15 and libomp:
brew install gcc libomp
  • Clone the repository
git clone https://github.com/shahuiz/ParKissat-RS-macOS
cd ParKissat-RS-macOS
  • Compile
make clean
make CXX_COMPILE=g++-15 CXX_LINK=g++-15