Painless does not build on MacOS
On MacOS, painless does not build
minisat/utils/System.cc:90:17: error: out-of-line definition of 'memUsedPeak' does not match any
declaration in namespace 'Minisat'
double Minisat::memUsedPeak() { return memUsed(); }