Udopia
commented
6 years ago - Omitting the whitespace around 'PRIu64' on some systems causes build errors in projects using libminisat when building with std=c++11
- Mac build hiccups on missing added paramter in conditional definition of peakMem-function
- default value of friend-method parameter must go to definition (for the love of mac)