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/System.cc to include the stub for memUsedPeak, patched code will look like this:
   

   #elif defined(__APPLE__)
   #include 
   
   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(); }
   #else

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):
http://groups.google.com/group/minisat/browse_thread/thread/898f2153d698a8c8
http://groups.google.com/group/minisat/browse_thread/thread/722da4ff639a2f79

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