niklasso/minisat — pull request #10 by JWalker1995 (2013-11-12 20:35:20+00:00)
Title: Fixed "memUsedPeak not defined" bug on Mac OSX

Fix for this issue: https://github.com/niklasso/minisat/issues/1