search

niklasso / minisat

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

Using std::numeric_limits<> instead of macros INT32/INT64_MAX/MIN #7

Open msoos opened 11 years ago

msoos commented 11 years ago

Unfortunately, the last such macro, used by Alloc.h cannot be removed, since it's supposed to be a constant. Thus, the -D__STDC_LIMIT_MACROS cannot be removed from the compilation flags