search

niklasso / minisat

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

Added spaces around PRIu64 macro to suppress C++11 warnings #42

Open yberman opened 3 years ago