master-keying / minisat

A minimalistic and high-performance SAT solver
minisat.se
Other
143 stars 16 forks source link

Restore C++98 support #4

Closed cernoch closed 6 years ago

cernoch commented 6 years ago

Only a small patch is needed to restore the original C++98 compatibility.

horenmar commented 6 years ago

From README:

Adapt for the modern C++ 2011 & 2014 standard.

cernoch commented 6 years ago

Let's drop C98 support.