search

niklasso / minisat

A minimalistic and high-performance SAT solver
minisat.se
Other
1.02k stars 390 forks source link

Fix compilation for non-linux OS's #18

Open jbransen opened 10 years ago

jbransen commented 10 years ago

A bool parameter was added to memUsedPeak, but not to the code of all os's != linux so compilation fails on Windows and Mac without this change