Minisat on Mac

To install minisat on Mac:

  1. You must have the XCode tools installed on your mac.
  2. Download the source distribution
  3. Edit the file utils/ to include the stub for memUsedPeak, patched code will look like this:
    #elif defined(__APPLE__)
    double Minisat::memUsed(void) {
       malloc_statistics_t t;
       malloc_zone_statistics(NULL, &t);
       return (double)t.max_size_in_use / (1024*1024); }
    double Minisat::memUsedPeak(void) {return memUsed(); }
  4. Follow the instructions distributed, changing the "gmake rs" to "make r"

For more information please see these posts (which is where I got this information):

Back to the class web-page.
Back to the Course Schedule.